Accueil » Archives » Revue ElectroniqueS » Vérification formelle

Vérification formelle

Le 12/11/2009 à 0:00 par La rédaction

RootCauseAnalyzer 360 MV de OneSpin Cet outil de débogage, comprenant quatre composants, accélère d’un facteur 10 la vérification formelle basée sur des assertions et le débogage.

  • Analyseur de formes d’onde
  • Analyseur structurel d’assertions
  • Analyseur de timing
  • Analyse au niveau du code RTL

Rens.: www.onespin-solutions.com

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
Connectez-vous Abonnez-vous

Share via
Facebook
X (Twitter)
LinkedIn
Mix
Email
Print
Copy Link
Powered by Social Snap
Copy link
CopyCopied
Powered by Social Snap