新闻中心

EEPW首页 > EDA/PCB > 业界动态 > 下一代Cadence JasperGold 效能增15倍

下一代Cadence JasperGold 效能增15倍

作者:时间:2015-07-03来源: 经济日报 收藏

  益华电脑()推出下一代 形式验证平台,此新型形式验证解决方案将 Incisive形式与技术整合为单一平台,与以往解决方案相比,效能可增加至15倍。此外,整合至Cadence系统开发套装(Cadence System Development Suite)后,技术可缩短验证时程达3个月。

本文引用地址:http://www.amcfsurvey.com/article/276749.htm

  

 

  JasperGold形式(formal)与形式辅助技术整合至Cadence系统开发套装可缩短计画验证时程达三个月。 Cadence/提供

  分享

  透过将综合特征统整为单一解决方案,JasperGold平台明显改善设计品质与效率,特征包括:Incisive Formal Verifier与Incisive Enterprise Verifier中的设计汇整与形式引擎科技,包括创新Trident多重合作引擎。现有Incisive用户可轻松进行资料转移,且找错与证明收敛模式 效能提升15倍。

  下一代JasperGold平台已完整整合至Cadence系统开发套装中Incisive模拟与Palladium仿真平台上,并具备可完成综合性指 标导向验证的vManager工具。透过形式辅助验证收敛(verification closure),上述功能可缩短时程至3个月。经实证的JasperGold Visualize及QuietTrace技术与Indago除错平台整合,提供更广泛的分析与动态产生假设调查,可将根本原因除错时间缩短达5至100倍。

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

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



关键词: Cadence JasperGold

评论


相关推荐

技术专区

关闭