Vérification sans stimulus

Une application de recherche de problèmes formelle entièrement automatique qui trouve des 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 pour vérifier de manière exhaustive la connectivité statique et dynamique sans nécessiter la connaissance des langages de spécifications formelles ou de propriété.

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

Les bibliothèques Questa Formel VIP AMBA & OnChip améliorent la qualité et réduisent les horaires en intégrant une expertise en protocole et en méthodologie dans des ensembles d'assertions réutilisables qui prennent en charge les interfaces standard populaires 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 est sans problème dans tous les scénarios de saisie légale.

L'application Questa Check Register automatise la vérification exhaustive du comportement de contrôle et de registre 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 pour 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 formelles ou des spécifications de propriété n'est requise.

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

La solution Siemens Questa Equivalent FPGA garantit que les flux d'implémentation 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'évasion sans précédent faibles.

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é concernant la sécurité.

Assure la conformité des conceptions RISC-V avec ISA et les 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 minimise considérablement la charge de travail de vérification, assurant 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.

Analysez Architecture est une solution révolutionnaire qui offre à un utilisateur la possibilité de vérifier les grands systèmes matériels s'ils 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 de logique au plus profond d'un SoC et prouver que les correctifs ne briseront rien d'autre.