Vérification sans stimulus

Questa Inspect est une application de recherche de problèmes formelle entièrement automatique qui détecte les problèmes profondément cachés dus à des erreurs de codage RTL courantes. Questa Inspect permet d'éliminer un large éventail de problèmes sans recourir à un banc d'essai.

L'application Questa Check Connect est une solution entièrement automatisée permettant de vérifier de manière exhaustive la connectivité statique et dynamique sans nécessiter la connaissance de langages formels ou de spécification de propriétés.

Questa Increase Coverage est une solution formelle automatique permettant de fermer la couverture de code plus rapidement, qui répond à un fait incontestable de vérification : une fraction du code découvert reste toujours.

Les bibliothèques Questa Formal VIP AMBA et OnChip améliorent la qualité et réduisent les délais en intégrant une expertise en matière de protocoles et de méthodologies dans des packages d'assertions réutilisables qui prennent en charge les interfaces standard les plus courantes de l'industrie.

Questa Verify Property découvre de manière exhaustive toutes les erreurs de conception qui peuvent survenir, sans avoir besoin de stimulus spécifique pour détecter le problème. Cela garantit que la conception vérifiée ne pose aucun problème dans tous les scénarios d'entrée légaux.

L'application Questa Check Register automatise la vérification exhaustive du comportement du registre de contrôle et d'état par rapport à la spécification de registre CSV ou IP-XACT.

L'application Questa Verify Secure est une solution entièrement automatisée qui permet de vérifier de manière exhaustive que seuls les chemins que vous spécifiez peuvent atteindre des éléments de stockage critiques ou de sécurité.

Questa Equivalent RTL compare automatiquement les blocs de code RTL de spécification et les blocs de code RTL d'implémentation à l'aide d'une analyse formelle exhaustive. Aucune connaissance des langages formels ou de spécification de propriétés n'est requise.

Questa Check X est une application automatisée qui élimine de manière exhaustive les problèmes « X » au niveau RTL sans banc de test.

La solution FPGA Questa Equivalent de Siemens garantit que les flux de mise en œuvre du FPGA, tels que la synthèse et l'optimisation des lieux et des itinéraires, n'introduisent pas d'erreurs fonctionnelles.

Questa GapFree optimise la qualité des conceptions numériques en prouvant toutes les fonctionnalités pour toutes les entrées, ce qui permet d'obtenir des taux d'échappement de problèmes sans précédent.

La vérification de conception de haut niveau avec l'extension Questa HL-SYC permet d'éliminer les problèmes avant la synthèse en démarrant la vérification plus tôt dans le flux.

Questa Verify Trust utilise des analyses automatisées pour détecter et signaler les problèmes de vulnérabilité liés à la sécurité.

Garantit la conformité des conceptions RISC-V à l'ISA et aux prérequis fonctionnels, accélérant la vérification en éliminant la nécessité de créer un banc d'essai.

L'application Questa FPU réduit considérablement la charge de travail de vérification, garantissant un alignement précis des implémentations en virgule flottante avec les résultats souhaités.

L'application Questa Analyze Fault est une solution basée sur la technologie formelle Questa, qui analyse les défauts en les injectant et vérifie formellement leur résultat pour la sécurité et la sûreté du matériel.

Analyze Architecture est une solution révolutionnaire qui permet à l'utilisateur de vérifier si les grands systèmes matériels sont conformes à l'architecture spécifiée.

L'application Questa Post Silicon Debug tire parti de l'analyse formelle et de la synthèse des propriétés pour identifier rapidement les causes des problèmes logiques au plus profond d'un SoC et prouver que les correctifs ne feront rien d'autre.