1，逻辑设计与验证 工具
* 逻辑仿真工具: Cadence NC-Verilog, Verilog-XL, NCSim,
Simvision Waveform Viewer
* 综合工具: Cadence BuildGates
* 形式验证工具: VerplexLEC

2．综合布局布线 工具
SoC Encounter—可应用于如90nm及其以下的SOC设计；
△ SE-PKS—可应用于如复杂时序收敛的IC设计；
△ Fire & Ice QX and SignalStorm—可应用于3维电阻电容参数提取及延时计算；
△ VoltageStorm—可应用于功耗分析；
△ CeltIC—可应用于信号完整性分析。
3 system level design工具
综合（Hardware Design System 2000）
算法验证（SPW）
△ 结构设计工具(SystemC-based simulators, CoWare, etc)
△ 硬件/软件混合设计工具(Verification Platform, Seamless, etc)
△ 模拟/混合信号工具(AMS, Agilent ADS, etc)

4，CIC(layout & custom layout) 全定制集成电路布局设计工具
△ Virtuoso Layout Editor
△ Assura (Layout verification)
5，AMS (analog mixed signal, RF analysis and design)模拟集成电路设计工具
。AnalogDesignEnvironment
。MixedSignal Design Environment
。Analog Modeling with Verilog-A
。Spectre Circuit Simulator
6，HS-PSD(high speed PCB system design) 高速系统和板极设计 工具
o Concept HDL Front-to-Back Design Flow – 原理图输入工具
o PCB Librarian – 器件建库工具
o Allegro PCB Layout System – PCB板布局布线工具
o Specctra AutoRoute Basics – 基本自动布线器
o Advanced Specctra Autorouting Techniques – 高级自动布线器
o SpecctraQuest Foundations – 信号完整性仿真工具
o Advanced SpecctraQuest Techniques – 高级信号仿真工具

 *VerilogHDL 仿真工具 Verilog-XL

*电路设 计工具 Composer
电 路 模 拟工具 Analog Artist

*版图设计工具 Virtuoso Layout Editor
版图验 证工具 Dracula 和 Diva

*自 动布局布线工具 Preview 和 Silicon Ensemble 

form:Mr Bond coms-chip expert
设计任务 EDA工具

功能仿真和测试 a. Cadence, NC_sim
b. Mentor ModelSim (调试性能比较突出)
c. Synopsys VCS/VSS
d. Novas Debussy (仅用于调试)

逻辑综合 a. Synopsys, DC
b. Cadence, BuildGates
c. Mentor, Leonardo

DFT a. Mentor, DFTAdvisor
b. Mentor, Fastscan
c. Mentor, TestKompress
d. Mentor, DFTInsight
e. Mentor, MBISTArchitect
f. Mentor, LBISTArchitect
g. Mentor, BSDArchitect
h. Mentor, Flextest
i. Synopsys, DFT Complier
j. Synopsys, Tetra MAX
k. Synopsys, BSD Complier

布局,时钟树综合和自动布线
a. Cadence, Design Planner
b. Cadence, CT-Gen
c. Cadence, PKS
d. Cadence, Silicon Ensemble
e. Synopsys, Chip Architect
f. Synopsys, Floorplan Manager
g. Synopsys, Physical Complier & Apollo
h. Synopsys, FlexRoute

网表提取及RC参数提取物理验证
a. Mentor, xCalibre
b. Cadence, Assure RCX
c. Synopsys, Star-RCXT
d. Mentor, Calibre
e. Synopsys, Hercule
f. Cadence, Assure

延时计算与静态时序分析
a. Synopsys, Prime Time
b. Cadence, Pearl
c. Mentor, SST Velocity

形式验证 a. Mentor, FormalPro
b. Synopsys, Formality
c. Cadence, FormalCheck

功能优化与分析 a. Synopsys, Power Compiler
b. Synopsys, PowerMill-ACE

HDLQA a. TransEDA, Verification Navigator
b. Synopsys, LEDA

FPGA开发 a. Mentor, FPGAdvantage
b. XILINX, ISE
c. Altera, QuartusII

SoC开发 a. Mentor, Seamless CVE
b. Cadence, SPW
c. Synopsys, Co-Centric

版图设计工具 a. Cadence, Virtuoso
b. Mentor, IC-Station
c. 思源科技, Laker

电路级仿真 a. Mentor, ELDO
b. Mentor, ADMS
c. Cadence, Spectre, Spectre RF
d. Cadence, AMS
e. Synopsys, Star-Hspice

以下只是个人和本公司的评价，不一定十分全面，仅供参考。

Synopsys:
优点：
在完成设计所花费的时间、代价和质量上比较平衡，不是最好，但绝对不坏。
拥有一些久经考验无人可比的软件。
缺点：
Physical-Compiler和Astro的整合上不够好，毕竟它是由一个前端设计EDA公司通过并购Avanti扩展到后端来的。

Cadence:
优点：拥有一批非常优秀的EDA软件，如：RTL Compiler, Encounter, Nano route, CeltIc等(只限于单独使用)。
缺点：
虽然是老牌后端设计公司，可是现在的支柱产品都是最近几年买来的，自己以前的东西剩下的不多了。上述产品的整合是个大问题。现在的产品不擅长于复杂时序的收敛。

Magma:
优点：最近5年异军突起的一家EDA公司，拥有一套自己独特的算法和漂亮好用的GUI，在复杂时序的收敛上异常优异。
缺点：附带产品不够全面，价钱高

之所以提Magma是因为我们总的评分是
(1)Mgama
(2)Synopsys
(3)Cadence

我们的作法是取各个公司最好的部分，自己整合出一套后端设计平台。
比如： Synopsys Design-Compiler, DFT-Compiler, PrimeTime + Magma BlastFusion (Place&route) + Cadence QX, LEC, CeltIc + Mentor Calibre