| Module / Tool Name | Primary Commands | Description |
|---|---|---|
| CONFRML | lec, conformal | Equivalence Checking |
| DDI / Innovus | innovus | Digital Implementation Suite |
| IC / Virtuoso | virtuoso | Custom IC / Layout Design |
| QUANTUS | qrc | Parasitic Extraction |
| SPECTRE | spectre | Circuit Simulation |
| XCELIUM | xrun, xmsim | Parallel Logic Simulation |
| SSV / Voltus | voltus | Power Integrity Analysis |
| PEGASUS | pegasus | Physical Verification |
| STRATUS | stratus_vde | High-Level Synthesis |
| SPB / Allegro | allegro, capture | PCB Design & Capture |