Outils de vérification système

Le 19/10/2006 à 0:00 par La rédaction

NSCa de Jeda Technologies

Cette version d’outils de vérification système basés sur des assertions Native SystemC est dotée d’assertions au niveau transaction (TLA) permettant la création de vérificateurs réutilisables.

Assure le niveau transactions
Complète le niveau cycles
Syntaxe efficace

Rens. : www.jedatechnologies.com

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

Copy link
Powered by Social Snap