• Verisity SureCov
• Verisity SureLint
• Cadence HAL
• Cadence NC Verilog
• Cadence Verilog XL
• Synopsys VCS
• Mentor ModelSim

Physical Design

• Cadence SOC Encounter
• Cadence First Encounter
• Cadence PKS
• Cadence Layout Plus

Synthesis & Timing Analysis

• Synopsys Design Compiler
• Synopsys Prime Time
• Cadence RTL Compiler
• Synopsys Formality (Equivalence Check)

Physical Analysis

• Cadence Celtic (Cross Talk Analyzer)
• Voltage Storm (IR drop Analysis)
• Cadence Fire & Ice (Parasitic      Extraction)

DFT

• Mentor DFT Advisor
• Mentor Fast Scan
• Syntest Suit
• MBISTArchitect
• BSDArchitect

Physical Verification

• Mentor Graphics Calibre
• Avanti Hercules