VCS 2005.06 de Synopsys

Cette solution de vérification du code RTL intègre une bibliothèque de blocs d’IP de vérification à base d’assertions.

Vérificateur de protocole Amba 2 AHB/APB
Vérificateur d’interfaces PCI et PCI X 2.0
Support de la technologie Native Testbench de System Verilog
Simulateur System C intégré, conforme au standard OSCI

Rens. :01 45

…