使用実績ツール一覧(代表例)


ツールベンダー
 Conformal (Equivalence check/LowPower/ECO)Cadence
 Incisive Enterprise Simulatoor(NC-Verilog)Cadence
 Incisive Formal VerificationCadence
 Innovus (First Encounter)Cadence
 PalladiumCadence
 Quantus QRCCadence
 RTL compiler (Genus)Cadence
 SpectreCadence
 Tempus (ETS)Cadence
 VirtuosoCadence
 Voltus (Voltage Storm)Cadence
 Design CompilerSynopsys
 DFTMAXSynopsys
 FormalitySynopsys
 HSPICESynopsys
 IC Compiler / IC Compiler ⅡSynopsys
 PrimeTime / PrimeTime-SISynopsys
 StarRCSynopsys
 TetraMAXSynopsys
 VCSSynopsys
 VerdiSynopsys
 LakerSynopsys
 Calibre / Calibre InrouteMentor
 ModelSimMentor
 Olympus-SocMentor
 TesentMentor
 VivadoXilinx
 QuartusAltera