EDI/ICC for P&R
Formality for formal verification
StarRCXT for extraction
PrimeTime for STA
EPS/PrimeRail for Power analysis
Calibre for DRC/ERC/LVS
其他,Verdi for verilog check
Virtuoso for gds merge and view and edit
Redhawk for power analysis
Milkyway for milkyway data create
Abstract Generator for analog layout LEF generate
DC for RTL synthesis