Synopsys 的必知运用功用
HerculesTM能够停止层次化的物理层考证，以确保幅员与芯片的分歧性。作为 Synopsys的完成平台上的根本产品，Hercules是一个golden sign-off工具，能够加速设计的完成。（作为 Milkyway数据库中的一局部）良好的与Milkyway数据库兼容，Hercules与其他基于Milkyway的产品（兼容）在完成过程中能够预防，及时发现和修正（在完成时）物理考证（中的）问题，为最后的 tap_out阶段俭省珍贵的时间。经过了数以万计的ASIC，DRAM，微处置器和存储器设计的证明，Hercules自动层次化管理和优化平面设计的先进完善的算法使它能考证用最复杂工艺制造的大型设计。Hercules努力于满足设计调试和快速周转的请求。Hercules能停止并行的散布式处置和多线程的处置以获得更短得运转时间和更好的存储器应用率，这样能够最大限度得应用计算机资源。设计团队能够用Hercules Explorer，VUE，两种图形化的界面，来对Her¬cules发现的问题停止定位和修复。Hercules也能够处置牢靠性和消费制造中的一些问题象金属打孔，层次化的数据创立。
Star-RCXT是电子设计自动化（EDA）范畴内寄生参数提取处理计划的黄金规范。该款工具为ASIC、片上系统（SoC）、数字定制、内存和模仿电路的设计提供了一个统一的处理计划。Star-RCXT用来对全新片设计、关键网以及块级设计停止十分精确和有效的三维寄生参数提取，Star-RCXT还能够提供内建的电容电阻数据紧缩，延时计算以及噪声剖析。Star-RCXT 提供层次化处置形式以及散布式处置形式以到达最高处置量。Star-RCXT严密分离于 Synopsys 的 SinglePass 流程。
Synopsys 的LEDA是一种可编程代码设计规则检查器，它提供全芯片级混合言语（Verilog和 VHDL）处置才能,从而加快了复杂的SOC设计的开发。LEDA预装的检查规则大大地加强了设计人员检查 HDL代码的才能，包括可综合性，可仿真性、可测试性和可重用性。应用所提供的设计规则，能进一步的进步Synopsys工具，例如VCS、Design Compiler以及Formality的性能。LEDA的规则集有助于设计人员共享他们的设计经历，对硬件设计预检查，且将设计风险降到最低。 运用LEDA，能够对硬件设计的仿真和综合停止预检查，消弭设计流程中的瓶颈，其中Verilog代码设计规则可确保按内部或外部工具请求优化代码。LEDA提供的设计规则可进步 Synopsys工具的性能。支持Verilog/VHDL混合言语的设计。
Formality是一种等效性检测工具，采用方式考证的技术来判别一个设计的两个版本在功用上能否等效。等效性检测是一种静态剖析办法，无需测试向量即可快速而全面的完成考证。 Formality具有一个流程化的图形界面和先进的调试功用，令设计者能够很快地检测出设计中地错误并将之隔离，这一功用能够大大缩短得到考证结果所需的时间。Formality业界抢先的功用和性能使之成为设计团队的首选产品。Formality比拟设计存放器传输级对门级或门级对门级来保证它没有偏离原始的设计企图。在一个典型的流程中，用户运用方式考证比拟存放器传输级源码与综合后门级网表的功用等效性。这个考证用于整个设计周期，在扫描链插入、时钟树综合、优化、人工网表编辑等等之后，以便在流程的每一阶段都能在门级维持完好的功用等效。这样在整个设计周期中就不再需求耗时的门级仿真。将Formality和PrimeTime这两种静态考证办法分离起来，一个工程师能够在一天内运转屡次考证，而不是一天或一周只完成一次动态仿真考证。
TetraMAX® ATPG自动生成高质量的消费测试向量，业界抢先的性能，支持大容量的设计且易于运用。TetraMAX为 DFT(Design for Test)工程师提供了一系列强大的功用，包括完整的芯片测试规则检查，测试向量生成，剖析，毛病仿真，失效诊断。这些功用都被整合到一个强大的图形用户界面中，当然也提供命令行方式，同时还有完善的在线协助。TetraMAX可支持多种设计作风和测试办法，包括多时钟电路，门控时钟电路，内部三态总线，内嵌存储器，无扫描逻辑和其他复杂的设计作风。TetraMAX分离了高性能和完善的测试才能以及无法比较的易用性使得DFT工程师在面对那些大型的富有应战性的设计时也能疾速创立高效紧凑的测试计划。
