apache的工具
redhawk2019 ，totem14，用来分析电源EM和芯片的电压降IRdrop
mentor的工具
calibre2019，后端物理验证DRC/LVS/ERC/LVL/SVS
questasim_10.7c ，仿真verilog
cadence的工具
模数混合设计virtuoso IC618
Innovus。数字ic后端PR，nnovus19.1
其他的还有很多工具从前端到后端的，EXT191 GENUS191 CONFRML192 tempus15.2 SSV191 SPECTRE191等。太多了就不一一举例了，贴个自己做的图解释一下
其实有些有些工具我也没用过
synopsy的工具vcs_2014 verdi_2015 ，verilog仿真，verdi可以生成波形，查看波形
dc_2018，逻辑综合，design compiler，将verilog转换成电路网表
fm_2016，形式验证，formality，验证verilog与综合后网表的等价性
我安装的工具，还有lib compiler_2016（lib 2 db），milkway_2016（lef gds 2 milkwary），primetime_2016(静态时序分析)，siliconsmart_2016（K库 lib生成）starrc_2016（LPE RC抽出），spyglass_2016（rtl code check），hspice（sp仿真），wv（查看波形）具体用途在专栏再讲吧
spyglass2016
wv2018 （查看波形）
ICC2 ，后端工具 ICC的升级版
ICC旧版的后端PR工具
MC2工具（MC2_2007.11.00）（MC2_2012.02.00）
楼主
