新闻摘要

JasperGold形式与形式辅助技术整合至Cadence系统开发套装可缩短计划验证时程达三个月

* 整合的Cadence Incisive与JasperGold形式验证平台相较于以往的解决方案，效能可提高15倍。

* JasperGold平台已整合至系统开发套装，相较于现有验证方式可提前三个月发现错误。

* JasperGold解决方案强大的形式分析引擎已与Indago除错平台整合，可自动分析根源问题与动态产生假设调查。

全球电子设计创新厂商益华计算机（Cadence Design Systems, Inc.）推出下一代Cadence JasperGold形式验证平台，此新型形式验证解决方案将Cadence Incisive形式与JasperGold技术整合为单一平台，与以往解决方案相比，效能可增加至15倍。 此外，整合至Cadence系统开发套装（Cadence System Development Suite）后，JasperGold技术可缩短验证时程达3个月。

透过将综合特征统整为单一解决方案，JasperGold平台明显改善设计质量与效率，特征包括：

1. Incisive Formal Verifier与Incisive Enterprise Verifier中的设计汇整与形式引擎科技，包括创新Trident多重合作引擎。 现有Incisive用户可轻松进行数据转移，且找错与证明收敛模式 效能提升15倍。

2. 下一代JasperGold平台已完整整合至Cadence系统开发套装中Incisive仿真与PalladiumR仿真平台上，并具备可完成综合性指 标导向验证的vManager?工具。 透过形式辅助验证收敛（verification closure），上述功能可缩短时程至3个月。

3. 经实证的JasperGold Visualize及 QuietTrace技术与Indago除错平台整合，提供更广泛的分析与动态产生假设调查，可将根本原因除错时间缩短达5至100倍。

Imagination Technologies执行副总裁Mark Dunn表示：「身为长期使用Incisive形式与仿真解决方案的客户，我们对下一代JasperGold平台感到印象深刻，因为其强化的除错功能以及 简便的操作方式，在指定时间内经证明收敛量测后，与Incisive Enterprise Verifier相较显著提升效能。 」

Cadence形式自动验证暨系统与验证部门副总Oz Levia表示：「在这个设计复杂度不断提升的时代，有效提供客户高质量SoC设计是我们持续面临的挑战。 JasperGold平台中，Cadence将形式验证技术的精华整合至单一JasperGold平台，并链接仿真、仿真、除错与验证管理，建立了引人注目的综合性解决方案因应此项挑战。 」

下一代JasperGold平台目前已供货。