账号:
密码:
最新动态
 
产业快讯
CTIMES/SmartAuto / 產品 /
 

【CTIMES/SmartAuto 編輯部报导】   2015年06月17日 星期三

浏览人次:【5534】

新闻摘要

JasperGold形式与形式辅助技术整合至Cadence系统开发套装可缩短计划验证时程达三个月
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平台目前已供货。

關鍵字: SoC设计  JasperGold  設計匯整  形式引擎科技  形式验证技术  益华计算机  益华计算机  半导体制造与测试  測試系統與研發工具 
相关产品
联咏新型多感测器IP摄影机SoC设计整合CEVA DSP效能
Cadence推出全新Certus设计收敛方案 实现十倍快全晶片同步优化签核
Cadence推出Optimality Explorer革新系统设计 以AI驱动电子系统优化
Cadence数位、客制与类比流程 获台积电3奈米和4奈米制程认证
Cadence推出Tensilica浮点运算DSP系列 为运算密集应用提供可扩充效能
  相关新闻
» ST推广智慧感测器与碳化矽发展 强化於AI与能源应用价值
» ST:AI两大挑战在於耗能及部署便利性 两者直接影响AI普及速度
» 慧荣获ISO 26262 ASIL B Ready与ASPICE CL2认证 提供车用级安全储存方案
» 默克完成收购Unity-SC 强化光电产品组合以满足半导体产业需求
» 新思科技与台积电合作 实现数兆级电晶体AI与多晶粒晶片设计
  相关文章
» 3D IC 设计入门:探寻半导体先进封装的未来
» SiC MOSFET:意法半导体克服产业挑战的颠覆性技术
» STM32MP25系列MPU加速边缘AI应用发展 开启嵌入式智慧新时代
» STM32 MCU产品线再添新成员 STM32H7R/S与STM32U0各擅胜场
» STM32WBA系列推动物联网发展 多协定无线连接成效率关键

刊登廣告 新聞信箱 读者信箱 著作權聲明 隱私權聲明 本站介紹

Copyright ©1999-2024 远播信息股份有限公司版权所有 Powered by O3  v3.20.1.HK8BE3XONP2STACUK7
地址:台北数位产业园区(digiBlock Taipei) 103台北市大同区承德路三段287-2号A栋204室
电话 (02)2585-5526 #0 转接至总机 /  E-Mail: webmaster@ctimes.com.tw