UNISYS利用Cadence IFV形式验证器提高逻辑设计团队生产力

全球电子设计创新的领导者Cadence设计系统公司（NASDAQ：CDNS）今天宣布，Unisys公司已经将Cadence® Incisive® Formal Verifier( IFV)纳入它的设计流程，以便进行基于断言的形式分析。利用Incisive Formal Verifier，Unisys在众多场所提供先进复杂的芯片时获得了生产率的提高和整体质量的改善。

作为Cadence Logic Design Team Solution之"Design with Verification"方法的一部分，Incisive Formal Verifier在Unisys设计前期发现了许多难以找到的功能性"臭虫"，实现了更高的团队生产率并加速了项目的完成。逻辑设计师在验证环境搭建完成之前几个月就能够验证模块设计，从而获得了更快及更节省成本的全芯片验证。而且，设计前期团队开发的断言是可以在后端流程的模拟和加速/仿真中充分再利用的，这增加了可观察性，并带来更快的调试速度和整体上更短的验证周期。

"Incisive Formal Verifier已帮助我们更高效和更早地将我们的企业服务器推向市场，而且还降低了成本，"Unisys平台开发部副总裁Steve Guarrieri表示，"另外，它还帮助减少了因为功能边界问题而重新投片的风险，并且我们发现它可以轻松和广泛地配置于我们多个项目的标准产品流程中，包括我们最先进和最复杂的ASIC|0">ASIC。"

Unisys团队报告了其在多个项目中的成功，其中包括一个高度复杂的ASIC设计。 Incisive Formal Verifier技术易于采用，并且对设计师友好，这进一步增强了基于Incisive Design Team Simulator及 Incisive Palladium® Emulator的Unisys验证环境。当Unisys集成了全面的基于断言的"从规划到闭合"验证方法学后，它实现了生产率的显著提高。

"我们非常高兴地看到像Unisys这样的公司从Cadence Logic Design Team Solution 的前期验证技术中获益，"Cadence公司验证部门全球营销副总裁Steve Glaser表示，"Incisive Formal Verifier提供了完整的基于断言的‘从规划到闭合’验证方法学，可获得巨大的生产率和质量改进，而且对于想优化RTL生成和提高项目整体上市时间的设计团队，它提供了完美的工具。"

关于Cadence

Cadence公司（Nasdaq股票代码：CDNS）成就全球电子设计技术创新，并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、设计方法和服务，来设计和验证用于消费电子产品、网络和通讯设备以及计算机系统中的尖端半导体器件、印刷电路板和电子系统。Cadence 2006年全球公司收入约15亿美元,现拥有员工约5200名，公司总部位于美国加州圣荷塞市，公司在世界各地均设有销售办事处、设计中心和研究设施，以服务于全球电子产业。

关于公司、产品及服务的更多信息，敬请浏览公司网站 www.cadence.com。