Skip to main content
Cette page est affichée à l'aide de traduction automatique. View in English instead?

Assurer l'exhaustivité de la vérification

Veloce Coverage and Assertion App

Pour suivre le rythme d'une industrie en constante évolution, les entreprises doivent être en mesure de vérifier rapidement la capacité d'un design à répondre aux objectifs de spécification et de conformité. L'application Veloce Couverture and Assertion accélère les temps de débogage en assurant la fermeture de la couverture pendant les tests.


Contactez notre équipe commerciale 1-800-547-3000

Ingénieurs débogage et circuit intégré.

Pourquoi l'Veloce Coverage and Assertion App ?

L'application Veloce Couverture and Assertion fournit une analyse approfondie des efforts de test, et lorsqu'elle est combinée avec des techniques de vérification basées sur des métriques, met en évidence les premiers problèmes qui peuvent devenir des failles critiques dans les phases ultérieures. En s'assurant de l'exhaustivité de la vérification de la conception, la probabilité de succès du silicium de premier passage augmente considérablement :

  • Données quantifiables sur le test du code et de l'exécution des fonctionnalités
  • Couverture et assertions réutilisables à travers différentes étapes de vérification
  • Fusionner et analyser la fermeture de la couverture pour une perspective plus élevée des efforts de vérification
  • Débogage basé sur l'assertion disponible sur les plateformes de vérification assistée par matériel

Attributs clés

Couverture de code et couverture fonctionnelle

L'application Veloce Couverture and Assertion permet une couverture de code qui analyse l'exécution du code, et la couverture fonctionnelle et suit l'exécution des spécifications définies par l'utilisateur. En atteignant des niveaux élevés dans ces métriques, un niveau de test approfondi peut être assuré.

Ingénieur codage sur un ordinateur portable.

Débogage basé sur l'assertion

Pour les bancs d'essai qui n'ont pas de moniteurs ou de vérificateurs intégrés, les assertions peuvent être utilisées avec l'application Couverture et Assertion pour suivre le nombre de fois qu'elles se déclenchent. De plus, les déclencheurs basés sur l'assertion peuvent être utilisés pour activer des comportements lorsqu'ils sont déclenchés, tels que la génération de formes d'onde ou l'exécution de tests.

Déboguer un circuit intégré.

Fermeture de la couverture unifiée

L'application Couverture et assertion offre la possibilité non seulement d'activer et de désactiver la couverture, mais aussi de fusionner la couverture. Cela offre la possibilité de combiner tout ce qui a été précédemment collecté ensemble pour avoir une vision plus holistique de la vérification. La couverture collectée à la fois par Questa et Veloce peut également être fusionnée.

Logiciel C++ pour l'analyse des pannes.

Interopérabilité Siemens EDA

L'application Couverture et Assertion peut être combinée avec d'autres outils Siemens EDA pour assurer des tests complets d'aspects de conception spécifiques. Par exemple, l'application peut être combinée avec l'application Veloce Power pour créer des charges de travail ciblées pour les tests de puissance du système et des sous-systèmes.

Équipement d'analyseur de forme d'onde.

Ressources connexes