【中国，2014年1月16日】——全球电子设计创新领先企业Cadence设计系统公司（NASDAQ: CDNS）今天发布了新版 Incisive® 功能验证平台，再一次为整体验证性能和生产率设定新标准。同时应对知识产权（IP）模块级到芯片级及片上系统（SoC）验证的挑战，Incisive13.2 平台通过两个新的引擎及附加的自动化功能,把仿真性能提升了一个数量级来加速SoC验证的收敛。
对于 IP 模块级到芯片级的验证，具有以下提升：
Incisive Formal Verifier和 Incisive Enterprise Verifier中的新的Trident引擎对形式分析的性能提升最高达20倍
对于 IP 模块级到芯片级的验证，具有以下提升：
Incisive Formal Verifier和 Incisive Enterprise Verifier中的新的Trident引擎对形式分析的性能提升最高达20倍
Incisive Enterprise Simulator中新的约束引擎提高 UVM 和 SystemVerilog testbench 仿真速度及在Palladium® 平台的仿真加速速度最高达10倍
Incisive Debug Analyzer中的对 SystemVerilog 新的支持功能结合独有的 UVM 调试功能和 Incisive 企业仿真器(IES)中 SimVision 调试环境下对探测功能的优化可以降低数据库大小达 10 倍
新的 IEEE 1647 e 无需仿真的单元测试，可减少测试平台代码调试时间达30%
对于 SoC 验证，具有以下提升：
Incisive Enterprise Simulator和Incisive Enterprise Verifier中对X-propagation的全面支持可提高 SoC 复位，低功耗仿真速度达 5 倍
Incisive Enterprise Simulator和Incisive Enterprise Verifier中对X-propagation的全面支持可提高 SoC 复位，低功耗仿真速度达 5 倍
Incisive 数字混合信号中针对 SystemVerilog IEEE 1800-2012 实数建模支持的新功能选项可提高混合信号仿真速度超过 100 倍。
“我们必须用有限的资源面对不断增长的验证挑战。”安霸公司（Ambarella, Inc.）工程部门副总裁 Chan Lee 指出：“2013 年，我们通过采用X-propagation，帮助我们显著的加快针对复位的仿真性能。Incisive 验证平台提供的附加自动化功能有助于提高我们的验证生产率。”
有关关键性能提升和生产率提高方面的完整列表，请访问这里。
“验证工程师面临时间和强大验证性能需求方面的压力。Incisive 13.2 不但解决了这些问题，同时还超越了每秒原始时钟所赋予的内涵，囊括从Formal Apps、调试到度量指标的分析来加速验证过程的收敛。自动化与集成的结合为我们的客户提供真正的收益，从而减轻 SoC 验证的压力。” Cadence高级验证解决方案研发副总裁 Andy Eliopoulos 说。
关于Cadence
Cadence公司成就全球电子设计技术创新，并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、IP、设计服务，设计和验证用于消费电子、网络和通讯设备以及计算机系统中的尖端半导体器件。公司总部位于美国加州圣荷塞市，在世界各地均设有销售办事处、设计中心和研究机构，以服务于全球电子产业。关于公司、产品及服务的更多信息，敬请浏览公司网站www.cadence.com。
有关关键性能提升和生产率提高方面的完整列表，请访问这里。
“验证工程师面临时间和强大验证性能需求方面的压力。Incisive 13.2 不但解决了这些问题，同时还超越了每秒原始时钟所赋予的内涵，囊括从Formal Apps、调试到度量指标的分析来加速验证过程的收敛。自动化与集成的结合为我们的客户提供真正的收益，从而减轻 SoC 验证的压力。” Cadence高级验证解决方案研发副总裁 Andy Eliopoulos 说。
关于Cadence
Cadence公司成就全球电子设计技术创新，并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、IP、设计服务，设计和验证用于消费电子、网络和通讯设备以及计算机系统中的尖端半导体器件。公司总部位于美国加州圣荷塞市，在世界各地均设有销售办事处、设计中心和研究机构，以服务于全球电子产业。关于公司、产品及服务的更多信息，敬请浏览公司网站www.cadence.com。
