synopsys软件介绍

1.VCS( verilog compiled simulator )

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图形用户界面，它提供了对模拟结果的交互和后处理分析。VCS 2009.12 Linux 验证库建立在经实践验证的DesignWare验证IP的基准上，并添加了对Synopsys的参考验证方法学（RVM）和本征测试平台的支持，能够实现覆盖率驱动的测试平台方法学，而且其运行时间性能提高了5倍。 VCS 2009.12 Linux 验证库是业界范围最广的基于标准的验证IP产品组合，可以方便地集成到Verilog、SystmVerilog、VHDL和Openvera的测试平台中，用于生成总线通信以及协议违反检查。监测器提供了综合全面的 告，显示了对总线通信协议的功能覆盖率。VCS验证库的验证IP也包含在DesignWare库中，或作为独立的套件购买。主要优势：
　　● 业界范围最广的IP产品组合；
　　● 采用VCS & Pioneer NTB时，仿真性能有显著的提高；
　　● 可充分进行配置，达成对测试的更好控制和更快的开发测试易于使用的界面，并且提供测试平台示例，加快学习速度，并加速测试平台的开发过。

3.ICC( IC Compiler )

IC Compiler是Synopsys新一代布局布线系统（Astro是前一代布局布线系统），通过将物理综合扩展到整个布局和布线过程以及签核驱动的设计收敛，来保证卓越的质量并缩短设计时间。上一代解决方案由于布局、时钟树和布线独立运行，有其局限性。IC Compiler的扩展物理综合(XPS)技术突破了这一局限，将物理综合扩展到了整个布局和布线过程。IC Compiler采用基于TCL的统一架构，实现了创新并利用了Synopsys的若干最为优秀的核心技术。作为一套完整的布局布线设计系统，它包括了实现下一代设计所必需的一切功能，如物理综合、布局、布线、时序、信 完整性(SI)优化、低功耗、可测性设计(DFT)和良率优化。Synopsys发布的新一代布局布线解决方案–IC Complier。新版ICC运行时间更快、容量更大、多角/多模优化(MCMM)更加智能、而且具有改进的可预测性，可显著提高设计人员的生产效率。同时，新版本还推出了支持45nm、32nm技术的物理设计。IC Compiler正成为越来越多市场领先的IC设计公司在各种应用和广泛硅技术中的理想选择。新版的重大技术创新将为加速其广泛应用起到重要作用。IC Compiler引入了用于快速运行模式的新技术，在保证原有质量的情况下使运行时间缩短了35%。新技术将16Gb平台的容量增加到接近1,000万门，有助于用户实现更大的模块划分。新版增加了集成的、层次化的设计规划的早期介入，有助于用户高效处理一亿门级的设计。提高生产能效的另一个关键在于物理可行性流程，它能够使用户迅速生成和分析多次试验布局，以确定具体实现的最佳起始值。

PrimePower是一种针对复杂百万门级设计的动态全芯片功耗验证工具，具有门级功耗分析的能力。PrimePower能准确而有效地验证ASIC/SOC设计中平均和峰值功耗。PrimePower全面的功耗验证帮助工程师选择正确的封装方案，决定散热要求，确证设计正确。精确的算法为门级性能的估算提供了有如SPICE般的精度（误差在5%-10%）；基于事件的峰值功耗验证提供了分辨率达100ps的分析能力；对千万门级的电路的门级分析的能力； 无缝的结合到工业界标准的流程中，功能强大，使用方便。

PrimeRail是一项全芯片的静态和动态电压降和电迁移（EM）分析解决方案。它拓展了Synopsys业界领先的 Galaxy设计平台中用于电源 络分析验证（sign-off）的解决方案。有了PrimeRail，Galaxy设计平台就能够提供对时序、信 完整性和电源 络电压降的全面解决方案。以业界标准Star-RCXTHSPICENanoSimPrimeTime术为基础，PrimeRail提供了业界第一个门电路和晶体管级静态和动态电压降和电迁移分析解决方案，展现了无可匹敌的性能和容量势。PrimeRail成在Galaxy设计平台中，让设计人员能够做到快速的设计和验证全面结合，并成为一条可以掌控进度的最终收敛的路径。

PrimeTime PX作为 PrimeTime解决方案的功耗分析拓展产品，能够在操作方便的单一环境内实现全芯片范围的时序、信 完整性和功耗分析。以业界事实上标准的时序分析器为基础，在与时序分析和信 完整性分析共享的环境下，PrimeTime PX提供了极为精确的动态和静态功耗分析能力，加快了开发周期（TTR）并提高了生产率，其性能超越了那些相互分离的独立时序和功耗分析工具。在时序、信 完整性和功耗分析结合到了一个统一的工具和环境中后，我们就不必重复执行一些完全一致的操作。例如，无需再重复执行时序和时钟偏移计算。而且 表、寄生参数和约束条件文件的读取也不必重复，还避免了重复的工具设置操作步骤。这样的成果体现在，PrimeTime PX工具的开发速度与相互分离的独立解决方案相比，前者可高出后者2倍。而且，作为PrimeTime环境的组成部分，功耗分析采用了相同的PrimeTime命令、 告、属性和多种调试功能。

5.Hercules(Hercules Physical Verification )

HerculesTM可以进行层次化的物理层验证，以确保版图与芯片的一致性。作为 Synopsys的实现平台上的基本产品，Hercules是一个golden sign-off工具，可以加速设计的实现。（作为 Milkyway数据库中的一部分）良好的与Milkyway数据库兼容，Hercules与其他基于Milkyway的产品（兼容）在实现过程中可以预防，及时发现和修正（在实现时）物理验证（中的）问题，为最后的 tap_out阶段节省宝贵的时间。经过了数以万计的ASIC，DRAM，微处理器和存储器设计的证明，Hercules自动层次化管理和优化平面设计的先进完善的算法使它能验证用最复杂工艺制作的大型设计。Hercules致力于满足设计调试和快速周转的要求。Hercules能进行并行的分布式处理和多线程的处理以取得更短得运行时间和更好的存储器利用率，这样可以最大限度得利用计算机资源。设计团队可以用Hercules Explorer，VUE，两种图形化的界面，来对Herules发现的问题进行定位和修复。Hercules也可以处理可靠性和生产制造中的一些问题象金属打孔，层次化的数据创建。

7.LEDA( LEDA Checker and LEDA Specifier)

Synopsys 的LEDA是一种可编程代码设计规则检查器，它提供全芯片级混合语言（Verilog和 VHDL）处理能力,从而加快了复杂的SOC设计的开发。LEDA预装的检查规则大大地增强了设计人员检查 HDL代码的能力，包括可综合性，可仿真性、可测试性和可重用性。利用所提供的设计规则，能进一步的提高Synopsys工具，例如VCS、Design Compiler以及Formality的性能。LEDA的规则集有助于设计人员共享他们的设计经验，对硬件设计预检查，且将设计风险降到最低。使用LEDA，可以对硬件设计的仿真和综合进行预检查，消除设计流程中的瓶颈，其中Verilog代码设计规则可确保按内部或外部工具要求优化代码。LEDA提供的设计规则可提高 Synopsys工具的性能。支持Verilog/VHDL混合语言的设计。

9.TetraMAX ATPG(Provides manufacturing test patterns for scan designs )

TetraMAXATPG自动生成高质量的生产测试向量，业界领先的性能，支持大容量的设计且易于使用。TetraMAX为 DFT(Design for Test)工程师提供了一系列强大的功能，包括完全的芯片测试规则检查，测试向量生成，分析，故障仿真，失效诊断。这些功能都被整合到一个强大的图形用户界面中，当然也提供命令行方式，同时还有完善的在线帮助。TetraMAX可支持多种设计风格和测试方法，包括多时钟电路，门控时钟电路，内部三态总线，内嵌存储器，无扫描逻辑和其他复杂的设计风格。TetraMAX结合了高性能和完善的测试能力以及无法比拟的易用性使得DFT工程师在面对那些大型的富有挑战性的设计时也能迅速创建高效紧凑的测试方案。