物理验证

层次化的物理验证：Hercules

智能验证

RTL级验证平台：VCS

混合硬件描述语言仿真器：VCS MXi

VHDL仿真器：Scirocco Simulator

为功能验证提供测试向量自动生成：Vera

最大程度的缩短得到验证结果所需要的时间：Formality

可编程检查器：LEDA

综合

逻辑综合：Design Compiler 、DC Ultra 、Design Analyzer

物理编译器：Physical Compiler FPGA

编译器：FPGA Compiler II

从system C到硬件的综合：CoCentric System Studio

体系结构设计

混合信号、混合技术仿真器：Saber

设计规划

SOC设计的层次化：JupiterXT

TCAD工具

参数提取：AuroraTCAD-Davinci TCAD-Medici TCAD-Tsuprem4

TCAD-Taurus

功耗检测

功耗检测：PrimePower

时序分析

晶体管级的静态时序分析：Pathmill

全芯片，门级静态时序分析：PrimeTime

信号完整性静态时序分析：PrimeTime SI

功耗分析和实现：Astro Rail

物理实现

针对SOC设计的物理层优化和布局布线：Astro

信号完整性分析和实现：Astro XTalk

可测性设计

边界扫描综合：BSD Compiler

测试综合：DFT Compiler

自动测试向量生成：TetraMAX

下一代布局布线解决方案

IC Compiler