Logiciel de couverture de codeCette solution est dorénavant disponible pour les simulateurs 64 bits.Outil d’extraction des états machinesOutils de filtrageSupport des simulateurs 64 bitsVerilog (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-UXSolarisRéférence : SureCov 3.2Fabricant : VerisityRens. 01 40 90 35…