List of tools used

tool vendor
 Conformal (Equivalence check/LowPower/ECO) Cadence
 Incisive Enterprise Simulatoor(NC-Verilog) Cadence
 Incisive Formal Verification Cadence
 Innovus (First Encounter) Cadence
 Palladium Cadence
 Quantus QRC Cadence
 RTL compiler (Genus) Cadence
 Spectre Cadence
 Tempus (ETS) Cadence
 Virtuoso Cadence
 Voltus (Voltage Storm) Cadence
 Design Compiler Synopsys
 DFTMAX Synopsys
 Formality Synopsys
 HSPICE Synopsys
 IC Compiler / IC Compiler Ⅱ Synopsys
 PrimeTime / PrimeTime-SI Synopsys
 StarRC Synopsys
 TetraMAX Synopsys
 VCS Synopsys
 Verdi Synopsys
 Laker Synopsys
 Calibre / Calibre Inroute Mentor
 ModelSim Mentor
 Olympus-Soc Mentor
 Tesent Mentor
 Vivado Xilinx
 Quartus Altera

TOP of page