Logiciel de vérification des modèles

Le 05/06/2008 à 0:00 par La rédaction

NSCvCC de Jeda Technologies

Cet outil de vérification des modèles assure la mesure de la qualité des blocs d’IP et la détection du code pas entièrement testé.

Couverture des décisions/conditions
Couverture des conditions multiples
Couverture fonctionnelle du code
Support des langages C/C+ et SystemC

Rens. : www.jedatechnologies.net

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

Copy link
Powered by Social Snap