Cette solution est dorénavant disponible pour les simulateurs 64 bits.

Outil d’extraction des états machines
Outils de filtrage
Support des simulateurs 64 bits
Verilog (NC-Verilog LDV 4.00 de Cadence, VCS 6.2 de Synopsys et ModelSim 5.6 de Mentor Graphics)
Fonctionne sous Linux et stations de travail Solaris et HP-UXSolaris
Référence :

…