Key Benefits
- Fast and broad coverage quickly finds bugs yielding higher quality
- Supports new device technologies through Device Model Simulation and increases productivity
- Directly verifies the SPICE netlist, eliminating the need for gate-level abstraction
- Variety of netlist representations supported
- Unique features like Power Integrity Verification, Redundancy Verification, Scan Chain Verification, Library Verification, Interactive Signal Tracing