Vérification sans stimulus

Application formelle de recherche de problèmes entièrement automatique qui détecte les problèmes profondément cachés dus aux erreurs de codage RTL courantes, Questa Inspect permet d'éliminer un large éventail de problèmes sans 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 avoir besoin de connaître les langages de spécification formelle ou de propriété.

Questa Increase Coverage Coverage est une solution formelle automatique permettant d'obtenir une fermeture de la couverture de code plus rapide, qui résout un fait incontestable de vérification : il reste toujours une fraction du code non couvert.

Les bibliothèques Questa Formel VIP AMBA et OnChip améliorent la qualité et réduisent les horaires en intégrant l'expertise en matière de protocole et de méthodologie dans des ensembles d'assertions réutilisables qui prennent en charge les interfaces standard courantes de l'industrie.

Questa Verify Property détecte de manière exhaustive toute erreur de conception qui peut se produire, sans avoir besoin d'un stimulus spécifique pour détecter le problème. Cela permet de s'assurer que la conception vérifiée est sans problème dans tous les scénarios de saisie juridique.

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

L'application Questa Verify Secure est une solution entièrement automatisée permettant 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 RTL d'implémentation à l'aide d'une analyse formelle exhaustive. Aucune connaissance des langues officielles ou des spécifications de propriété n'est requise.

Questa Check X est une application automatisée qui enracine de manière exhaustive les problèmes de type X au niveau RTL sans banc d'essai.

La solution FPGA équivalente Siemens Questa garantit que les flux de mise en œuvre de FPGA, tels que la synthèse et les optimisations de lieu et de route, 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 entraîne des taux d'échappement faibles sans précédent.

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

Questa Verify Trust utilise une analyse automatisée pour détecter et signaler les problèmes de vulnérabilité en matière de sécurité.

Assure la conformité des conceptions RISC-V avec l'ISA et les prérequis fonctionnels, ce qui accélère la vérification en éliminant la nécessité de créer des bancs 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 à 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é matérielles.

Analyser l'architecture est une solution révolutionnaire qui permet à un 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 provoquer rapidement des problèmes logiques au plus profond d'un SoC et prouver que les correctifs ne briseront rien d'autre.