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