Synopsys有以下软件：
- Formality2016：形式验证
- Hspice2016： 模拟
- ICC2016：布局布线
- Laker2015：数模混合，全定制
- PrimeTime2015：静态时序
- StarRC2015：寄生参数
- Synplify2015：Design Compiler逻辑综合工具，现已更名，命令几乎不变。
- VCS2014：由于VCS2016仿sv时会出现runtime问题，故安装此稳定版本。
- Verdi2015：信号追踪，调试
Cadence有以下软件：
- Assura4
- IC617：virtuoso设计工具，目前最新版本
- Incisive14：NC仿真工具，更名为Incisive，命令完全不变。
- Innovus15：encounter后端布局布线工具，已更名，命令可用innovus，也可用encouter启动
- MMSIM15：进行spectre仿真
Mentor的工具：
- Calibre2015：作LVS
- Tessent2013：DFT工作平台。
- DFTadvisor、Fastscan、TestKompress：高版本工具以命令行操作为主。
Design Compiler: dc, dc_shell -gui
Cadence Virtuoso : icfb
Cadence NC-SIM :ncverilog
Cadence IES: irun
Cadence innovus: encounter