Questa One

Description

Questa One : la plateforme de vérification IC nouvelle génération de Siemens EDA

Questa One est la suite de vérification fonctionnelle de Siemens EDA, conçue pour les équipes qui conçoivent des ASIC, SoC et FPGA face à la complexité croissante des architectures 3DIC et chiplets. Elle réunit sous une architecture unifiée la simulation (Questa One Sim), la vérification formelle sans testbench (Questa One SFV) et un toolkit d’intelligence artificielle agentique, avec une base de couverture partagée entre tous les moteurs. Chez Diskod, votre revendeur de logiciels professionnels au Maroc, nous vous donnons accès à cette plateforme en licence officielle Siemens EDA, avec un accompagnement local pour cadrer vos besoins en postes, jetons et modules.

Sim : simulation et débogage unifiés pour vos flux RTL

Sim est l’évolution du simulateur fonctionnel historique de Siemens EDA : moteur unique pour Verilog, VHDL et SystemVerilog, méthodologie UVM, et environnement de débogage intégré avec analyse de formes d’onde. Vos équipes gagnent en productivité grâce à des moteurs plus rapides et une interface commune entre compilation, élaboration et simulation, au lieu de jongler entre plusieurs outils disjoints.

SFV : la vérification formelle sans testbench, jusqu’à 10x plus rapide

SFV propose une vingtaine d’analyses formelles stimulus-free ne nécessitant aucune connaissance des langages de propriétés : analyse de connectivité statique et dynamique, vérification exhaustive des registres de contrôle contre une spécification CSV ou IP-XACT, et analyse de sécurité des chemins d’accès aux éléments critiques. Sa technologie de décomposition intelligente accélère l’analyse sur les designs complexes.

L’Agentic Toolkit : l’intelligence artificielle agentique au service de vos ingénieurs

Construit autour du Model Context Protocol et de cinq Flow Agents pilotés depuis une passerelle unique, ce toolkit ingère formes d’onde, logs, assertions et données de couverture pour tracer automatiquement la cause d’un échec de régression. Le RTL Code Agent génère du code synthétisable à partir de descriptions en langage naturel, et la génération assistée par IA convertit vos spécifications en assertions SystemVerilog, en intégration avec Siemens Fuse.

Une couverture unifiée entre simulation, formel et émulation

Une base de couverture commune agrège les métriques issues de la simulation, de la vérification formelle et de l’émulation, sans ressaisie ni recoupement manuel. Vos équipes visualisent en un seul endroit l’état réel de la fermeture de vérification, ce qui réduit les efforts redondants et fiabilise les jalons de signoff, un enjeu clé pour les équipes marocaines qui doivent justifier leurs livrables face à des donneurs d’ordre internationaux.

Conformité fonctionnelle ISO 26262 et DO-254 pour l’automobile et l’aéronautique

La solution propose un flux de sécurité fonctionnelle de bout en bout, harmonisant l’analyse des défaillances systématiques et aléatoires exigée par l’ISO 26262, ainsi qu’une approche rationalisée pour la traçabilité DO-254 en électronique embarquée aéronautique. De quoi réduire les reprises et sécuriser les certifications de vos projets à forte contrainte réglementaire.

Vérification low power avec les techniques Power Aware

Dès le niveau RTL, une suite de vérificateurs statiques et dynamiques détecte automatiquement les erreurs de gestion d’alimentation active sur des designs complexes conformes UPF. Cette vérification précoce évite des refontes coûteuses tard dans le cycle, un avantage direct pour optimiser les budgets projets des équipes marocaines et africaines.

Questa One : Pour quels métiers ?

Cette plateforme s’adresse aux ingénieurs de vérification et de conception ASIC/SoC/FPGA, aux équipes R&D microélectronique des centres d’ingénierie et fondeurs présents en Afrique francophone, ainsi qu’aux acteurs de l’automobile et de l’aéronautique-défense soumis à l’ISO 26262 ou au DO-254. Les laboratoires universitaires et centres de formation en microélectronique y trouvent également un socle pédagogique complet, aligné sur les standards utilisés par l’industrie mondiale des logiciels professionnels de conception électronique. Plus de détails techniques sont disponibles sur le site officiel de Siemens EDA.

Pourquoi acheter Questa One chez Diskod au Maroc ?

Diskod vous fournit une licence Siemens EDA 100% officielle, avec devis chiffré sous 48h adapté au nombre de postes et modules réellement nécessaires à vos équipes. Notre support en français et notre connaissance du contexte réglementaire et budgétaire marocain vous accompagnent du dimensionnement de licence jusqu’au déploiement, pour sécuriser vos investissements en outillage de vérification IC sans dépendre d’un revendeur étranger.