IC流程 | Cadence | Synopsys | Mentor | Xilinx | Others |
模拟仿真与版图 | Virtuoso | ||||
RTL仿真 | VCS | ModelSim | |||
综合 | Genus | Dc | |||
形式验证 | Formality | ||||
Spice仿真 | Spectre | Hspice | alps | ||
时序 | Tempus | Primetime | |||
DFT | DFTCompiler | Tessent | |||
布局布线 | Encounter/Innovus | ICC/ICC2 | |||
物理验证 | PVS | Calibre | |||
寄生参数提取 | Quantus | Star-RCXT | Calibre-XACT | ||
k库 | Liberate | Silicon-smart |
IC流程常用的工具(持续更新)