En s’appuyant sur les langages SystemVerilog, PSL et System C, Mentor Graphics propose avec l’environnement Questa une solution de vérification fonctionnelle complète intégrant couverture de code, utilisation des assertions et automatisation des testbenchs.
Ces dernières années, l’arrivée à maturité des techniques de vérification à base d’assertions et la normalisation progressive de langages de nouvelle génération,
…
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
