Verdi Automated Debug de SpringSoft
Cette solution de débogage des fichiers de description pour les circuits complexes se dote de fonctions pour rendre plus efficace la phase de test fonctionnel.
Débogage et traçage d’assertions
Analyse comportementale incrémentale
Édition des structures de bus multiples
Support des fichiers VCS
Rens. : www.springsoft.com