Popular EDA Tools

Popular EDA Tools

Here is a list of major EDA tools for various stages of (mostly digital) design flow. These are tools considered stable and suitable for sign-off by the industry. This is what I have used or at least know people have been using them. Must have missed out niche and rare tools in use by others. Please leave a comment if I missed some important tools!

table,th,td{border:1px solid black;border-collapse:collapse}

AreaCadenceSynopsysMentor GraphicsOthers
Virtual PrototyingVirtual System Platform [VSP]VaST CoMET and METeor, VirtualizerVista-
RTL Linting, Clock Tracing, Constraint generationIncisive HALLeda RTL Checker-Spyglass [Atrenta], Fishtail Focus
Digital SimulationIncisive - NcSimVCSQuestasim-
Analog SimulationIncisive - AMSCustomSimQuesta ADMS-
Circuit SimulationSpectreHspice (accurate), Hsim (Fast)Eldo Classic-
Formal Verification[Property Checking]IFV [Incisive Formal Verifier]MagellanOneSpin[OSS]
Formal Verification[Equivalence Checking]Conformal LECFormalityFormalProOneSpin[OSS]
Testbench Qualification---Certitude
DebuggingIncisive [SimVision]Verdi [SpringSoft]Questa-
Multi-voltage rule checkerConformal Low PowerMVRC--
Clock-Domain Crossing (CDC) VerificationConformal Constraint Designer-Questa CDCSpyglass [Atrenta], Meridian [Real Intent]
e-testbenchSpecman---
Regression ManagervManagerCustomExplorer UltraQuesta Verification Manager-
Logic SynthesisRTL Compiler [RC]Design CompilerIntuitive-
Place & RouteEncounter (EDI)IC CompilerOlympus-
Static Timing AnalysisEncounter Timing System[ETS]Prime Time [PT]--
ExtractionQRCStarRC XTCalibre xRC-
Automatic test pattern generationTrueTime ATPGTetraMaxFastScan-
Physical VerificationAssuraHerculesCalibre-
Power AnalysisEPSPrime Time - PX--
Rail AnalysisEPSPrime Rail--