Questa AutoCheck
Une application de recherche de bogues formels entièrement automatique qui trouve des bogues dus à des erreurs de codage RTL courantes.
Questa AutoCheck vous aide à trouver les bogues dès le début de votre conception. Il génère automatiquement des propriétés pour prendre en charge une variété croissante de vérifications statiques et dynamiques telles que l'analyse du dead code, le blocage des machines en "deadlock", les boucles combinatoires et la lividité, couvrant ainsi les erreurs de conception courantes et les cas de figure inimaginables.
Les solutions Questa Formal
Questa AutoCheck est fourni par Siemens Digital Industries et fait partie des solutions Questa Formal, mettant le "pouvoir du formel" à la portée de tous et des experts.
White Paper
Cet article vise à lever le mystère sur l'utilisation des méthodes formelles pour la vérification du matériel. Dans cette discussion, nous commencerons par expliquer les méthodes formelles de la manière la plus claire et la plus concise possible. Nous examinerons ensuite l'état de l'industrie et les changements intervenus au cours de la dernière décennie qui ont permis de généraliser l'utilisation des méthodes formelles pour la vérification du matériel. Forts de ces connaissances, nous examinerons et expliquerons le contenu de l'annexe B 3.3.3 "Méthodes formelles" de la norme DO-254. Enfin, nous rassemblerons ces informations et fournirons des recommandations pour l'utilisation des méthodes formelles dans le cadre d'un projet DO-254.
Les avantages de Questa AutoCheck
"Push-Button" pour l'analyse et la recherche d'erreur de code
- Aucune connaissance du formel ou de l'ABV n'est requise !
- La création automatique d'assertions élimine le besoin de les écrire
- Exploitation de la plateforme commune de débogage Questa Visualizer
Trouver les bogues dès le début du cycle de conception
- Les utilisateurs peuvent commencer à vérifier dès que le code RTL est écrit ou modifié
- Aucun testbench ou assertion n'est nécessaire !
Les utilisateurs n'ont pas à se soucier d'écrire des tests simples
Amélioration automatique de la qualité de la conception
- Exploration du comportement de la conception séquentielle pour trouver des bogues corner-case qui ne seront pas détectés par Lint
- Trouver les problèmes courants de conception fonctionnelle dans les registres, les FSM, les bus et les mémoires
Find out more about lorem ipsium
En savoir plus sur Questa AutoCheck
Téléchargez la présentation pour en savoir plus sur le débogage RTL et les autres fonctionnalités de Questa AutoCheck.
Outils pour la simulation et la vérification
Questa CDC
Questa CDC de Siemens utilise l'analyse structurelle pour reconnaître les clock domains, les synchroniseurs et...
HDL Designer
HDL Designer offre un environnement de conception HDL complet, garantissant un flux de conception FPGA/ASIC...
Questa Advanced Simulator
Questa Advanced Simulator est un simulateur et une machine de débogage qui réduit le risque...
Questa Verification IP
Questa Verification IP aide les ingénieurs à se concentrer sur les aspects essentiels des conceptions,...
Vérification de la conception FPGA avec Questa Prime
La solution Questa est un assemblage de technologies, de méthodologies et de bibliothèques pour la...
Voulez-vous recevoir plus d'informations sur Questa AutoCheck ?
Contactez-nous et nous répondrons à vos doutes et curiosités dans les plus brefs délais.
Réservez une démo gratuite
Prenez rendez-vous avec l'un de nos experts pour voir le logiciel en action !
Notre technicien vous montrera gratuitement comment le logiciel vous aidera à relever les défis que vos projets posent à votre équipe et à votre entreprise.