Vera 6.2 de Synopsys
Ce logiciel d’automatisation des vecteurs de test d’une conception de circuit (le testbench) fait partie intégrante de la plate forme de vérification Discovery de Synopsys.
Support de la programmation orientée objet
Génération de séquences complexes de transactions
Vérification des pipelines de processeurs
Module d’analyse et de manipulation des “ files d’attente ”
Rens.
…