Menu

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

questa-autocheck-blue

"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
questa-autocheck-green

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
questa-autocheck-violet

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

Sorry, we couldn't find any posts. Please try a different search.

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

HDL Designer

HDL Designer

HDL Designer offre un environnement de conception HDL complet, garantissant un flux de conception FPGA/ASIC...

Discover
questa advanced simulator

Questa Advanced Simulator

Questa Advanced Simulator est un simulateur et une machine de débogage qui réduit le risque...

Discover
questa verification ip

Questa Verification IP

Questa Verification IP aide les ingénieurs à se concentrer sur les aspects essentiels des conceptions,...

Discover
Simulateur FPGA pour la vérification de la conception FPGA

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...

Discover
modelsim

ModelSim

ModelSim offre un environnement complet et facile à utiliser pour l'analyse de Code Coverage, utile...

Discover
ReqTracer

Reqtracer pour le suivi des exigences FPGA

Le suivi des exigences FPGA avec Reqtracer vous permet d'être conforme aux normes de sécurité...

Discover

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

PCB Data Management

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.

Retour haut de page