Popular EDA Tools
Last modified 2012-10-29
Sini
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!
| Area | Cadence | Synopsys | Siemens EDA | Others |
|---|---|---|---|---|
| Virtual Prototying | Virtual System Platform [VSP] | VaST CoMET and METeor Virtualizer | Vista | - |
| RTL Linting, Clock Tracing, Constraint generation | Incisive HAL | Spyglass Fishtail | - | |
| Digital Simulation | Incisive - NcSim | VCS | Questasim | - |
| Analog Simulation | Incisive - AMS | CustomSim | Questa ADMS | - |
| Circuit Simulation | Spectre | Hspice | FastSPICE | - |
| Formal Verification[Property Checking] | Jasper | VC Formal | Questa One | OneSpin[OSS] |
| Formal Verification[Equivalence Checking] | Conformal LEC | Formality | FormalPro | OneSpin[OSS] |
| Testbench Qualification | - | - | - | Certitude |
| Debugging | Incisive [SimVision] | Verdi [SpringSoft] | Questa | - |
| Multi-voltage rule checker | Conformal Low Power | MVRC | - | - |
| Clock-Domain Crossing (CDC) Verification | Conformal Constraint Designer | Spyglass | Questa CDC | Meridian [Real Intent] |
| e-testbench | Specman | - | - | - |
| Regression Manager | vManager | CustomExplorer Ultra | Questa Verification Manager | - |
| Logic Synthesis | Genus [RC] | Design Compiler | Intuitive | - |
| Place & Route | Innovus | IC Compiler | Olympus | - |
| Static Timing Analysis | Tempus | Prime Time [PT] | - | - |
| Extraction | QRC | StarRC XT | Calibre xRC | - |
| Automatic test pattern generation | Modus | TetraMax | FastScan | - |
| Physical Verification | Assura | IC Validator | Calibre | - |
| Power Analysis | Joules Voltus | PrimePower | - | - |
| Rail Analysis | Voltus | Prime Rail | - | - |