Synopsys工具介绍.pdf

目 录Table of Contents 1 VCS 3 2 Vera 3 3 Magellan 3 4 LEDA 4 5 Scirocco 4 6 Physical Compiler 4 7 ClockTree Compiler 4 8 DC-Expert 5 9 DC Ultra 5 10 DFT Compiler 5 11 Power Compiler 5 12 FPGA Compiler II 5 13 PrimeTime 8 14 Formality 8 15 ASTRO 8 16 APOLLO-I I 8 17 MARS-RAIL 8 18 MARS-XTALK 9 19 COSMOS LE/SE 9 20 HERCULES-II 9 21 NanoSim (STAR-SIMXT) 9 22 STAR-HSPICE 9 23 STAR-RCXT 10 24 TetraMAX ATPG 10 25 DesignWare 10 错误！未找到引用源。 Synopsys工具介绍 1 VCS VCS是编译型Verilog模拟器，它完全支持OVI标准的Verilog HDL语言、PLI和SDF。VCS具有 目前行业中最高的模拟性能，其出色的内存管理能力足以支持千万门级的ASIC设计，而其模拟精度 也完全满足深亚微米ASIC Sign-Off 的要求。VCS结合了节拍式算法和事件驱动算法，具有高性能、 大规模和高精度的特点，适用于从行为级、RTL到Sign-Off等各个阶段。VCS 已经将CoverMeter中 所有的覆盖率测试功能集成，并提供VeraLite 、CycleC等智能验证方法。VCS和Scirocco也支持混 合语言仿真。VCS和Scirocco都集成了Virsim 图形用户界面，它提供了对模拟结果的交互和后处理 分析。 2 Vera Vera验证系统满足了验证的需要，允许高效、智能、高层次的功能验证。Vera验证系统已被Sun、 NEC、Cisco等公司广泛使用以验证其实际的产品，从单片ASIC到多片ASIC组成的计算机和网络系 统，从定制、半定制电路到高复杂度的微处理器。Vera验证系统的基本思想是产生灵活的并能自我 检查的测试向量，然后将其结合到test-bench 中以尽可能充分测试所设计的电路。Vera验证系统适 用于功能验证的各个层次，它具有以下特点：与设计环境的紧密集成、启发式及全随机测试、数据 及协议建模、功能代码覆盖率分析。 3 Magellan Synopsys公司刚刚推出了新的混合形式验证工具Magellan。Magellan将新的高性能形式工具引 擎和内置VCS仿真工具引擎的强大能力相结合，以帮助工程师，发现可能掩藏于设计深层的需要仿 真几千个周期才能发现的设计错误。Magellan独特的混合型结构的设计考虑，是为了处理数百万门 级的设计和提供排除了会产生不利影响的误报之后的确定性结果。新增的Magellan通过实现层次化 验证 （一种可以使设计的设定和断言功能重复使用的强大的可验证设计技术），加强了Synopsys 的 Discovery验证平台的能力。Magellan支持用Verilog 和VHDL所做的设计，并被构建成符合正在成 熟的SystemVerilog标准的工具。 Magellan的混合型结构使得这一工具能够在大规模的数百万门级设计中应用形式验证技术。这 一结构独特地将VCS达到设计深层的能力和形式验证引擎进行高级数学分析的能力相结合，来进行 寻找设计错误的工作。将Magellan内置的VCS和形式验证引擎相互适应地和明确地彼此利用，使得 第2页,共8页Page 2 , Total8 设计者能够发现可能