synopsys工具简介

〓 leda
　　leda?是可编程的语法和设计规范检查工具，它能够对全芯片的vhdl和verilog描述、或者两者混合描述进行检查，加速soc的设计流程。 leda预先将ieee可综合规范、可仿真规范、可测性规范和设计服用规范集成，提高设计者分析代码的能力

〓 vcstm
　　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图形用户界面，它提供了对模拟结果的交互和后处理分析。

〓 sciroccotm
　　scirocco是迄今为止性能最好的vhdl模拟器，并且是市场上唯一为soc验证度身定制的模拟工具。它与vcs一样采用了革命性的模拟技术，即在同一个模拟器中把节拍式模拟技术与事件驱动的模拟技术结合起来。scirocco的高度优化的vhdl编译器能产生有效减少所需内存，大大加快了验证的速度，并能够在一台工作站上模拟千万门级电路。这一性能对要进行整个系统验证的设计者来说非常重要。

〓 vera
　　vera验证系统满足了验证的需要，允许高效、智能、高层次的功能验证。vera验证系统已被sun、nec、cisco等公司广泛使用以验证其实际的产品，从单片asic到多片asic组成的计算机和网络系统，从定制、半定制电路到高复杂度的微处理器。vera验证系统的基本思想是产生灵活的并能自我检查的测试向量，然后将其结合到test-bench中以尽可能充分测试所设计的电路。vera验证系统适用于功能验证的各个层次，它具有以下特点：与设计环境的紧密集成、启发式及全随机测试、数据及协议建模、功能代码覆盖率分析。

〓 physical compiler
　　physical compiler?解决0.18微米以下工艺技术的ic设计环境，是synopsys物理综合流程的最基本的模块，它将综合、布局、布线集成于一体，让rtl设计者可以在最短的时间内得到性能最高的电路。 通过集成综合算法、布局算法和布线算法。在rtl到gds ii的设计流程中，physical compiler向设计者提供了可以确保即使是最复杂的ic设计的性能预估性和时序收敛性。

〓 clocktree compiler
　　clocktree compiler是嵌入于physical compiler的工具，它帮助设计者解决深亚微米ic设计中时钟树的时序问题。它不仅能够简化设计流程，而且可以极大的提高时钟树的质量：对于插入延时有5％－20％的改进，对时钟偏移有5％－10％的改进。

〓 dc-expert
　　dc得到全球60多个半导体厂商、380多个工艺库的支持。据最新dataquest的统计，synopsys的逻辑综合工具占据91%的市场份额。dc是十二年来工业界标准的逻辑综合工具，也是synopsys最核心的产品。它使ic设计者在最短的时间内最佳的利用硅片完成设计。它根据设计描述和约束条件并针对特定的工艺库自动综合出一个优化的门级电路。它可以接受多种输入格式，如硬件描述语言、原理图和网表等，并产生多种性能报告，在缩短设计时间的同时提高设计性能。

〓 dc ultra
　　对于当今所有的ic设计，dc ultra? 是可以利用的最好的综合平台。它扩展了dc expert的功能，包括许多高级的综合优化算法，让关键路径的分析和优化在最短的时间内完成。在其中集成的module compiler数据通路综合技术， dc ultra利用同样的vhdl/verilog流程，能够创造处又快又小的电路。

〓 dft compiler
　　dft compiler提供独创的“一遍测试综合”技术和方案。它和design compiler 、physical compiler系列产品集成在一起的，包含功能强大的扫描式可测性设计分析、综合和验证技术。dft compiler可以使设计者在设计流程的前期，很快而且方便的实现高质量的测试分析，确保时序要求和测试覆盖率要求同时得到满足。dft compiler同时支持rtl级、门级的扫描测试设计规则的检查，以及给予约束的扫描链插入和优化，同时进行失效覆盖的分析。

〓 power compiler
　　power compiler?提供简便的功耗优化能力，能够自动将设计的功耗最小化，提供综合前的功耗预估能力，让设计者可以更好的规划功耗分布，在短时间内完成低功耗设计。power compiler嵌入design compiler/physical compiler之上，是业界唯一的可以同时优化时序、功耗和面积的综合工具。

〓 fpga compiler ii
　　fpga compiler ii是一个专用于快速开发高品质fpga产品的逻辑综合工具，可以根据设计者的约束条件，针对特定的fpga结构（物理结构）在性能与面积方面对设计进行优化，自动地完成电路的逻辑实现过程，从而大大降低了fpga设计的复杂度。fpga compiler