亮点:
- 吗?统一的节奏敏锐和JasperGold形式验证平台提供15倍的性能增益与以前的解决方案
- 吗?JasperGold平台,集成在系统开发套件,三个月前发现的bug通常比现有验证方法
- 吗?JasperGold解决方案的强大的正式分析引擎现在与Indago调试平台,集成自动化根源分析和动态假设探索
加利福尼亚州圣何塞市,2015年6月8日吗?节奏设计系统公司(纳斯达克:cdn)今天宣布下一代节奏®JasperGold®形式验证平台。这种新形式验证解决方案集成了节奏门齿®正式技术和JasperGold技术成一个单一的平台,提供15倍的性能提升与以前的解决方案。此外,作为一个集成的节奏系统开发套件的一部分,JasperGold技术可以帮助减少验证计划三个月。
下一代JasperGold平台目前可用。更多信息请访问http://cadence.com/news/jaspergold
JasperGold平台大大提高设计质量和效率,将一组全面的功能集成到一个解决方案,包括:
- 吗?设计编译和正式的发动机技术从门齿®正式验证器和敏锐的企业验证器,包括创新三叉戟multi-cooperating引擎。这使得容易迁移现有的客户和15倍的性能提升找出bug和证据融合模式。
- 吗?下一代JasperGold平台已经与节奏完全集成系统开发套件的门齿模拟和钯®仿真平台,并与vManager吗?工具,使综合metric-driven验证。这个结果在一个三个月的计划减少通过formal-assisted验证关闭。
- 吗?证明JasperGold可视化?和QuietTrace吗?技术,结合Indago吗?调试平台,进一步扩大分析和动态假设探索,帮助减少根源调试时间5 - 100 x。
”作为长期客户的正式和仿真解决方案,我们对下一代JasperGold平台,”马克•邓恩表示执行副总裁想象力的技术。”以及改进调试和易用性,我们取得了显著增加的性能相比,敏锐的企业验证器,以证明收敛在一个给定的时间。”
“交付高质量的SoC设计有效地增加设计复杂度的时代是一个持续的客户的挑战,“Oz Levia,副总统的正式和自动验证,系统&验证小组节奏。“下一代JasperGold平台,我们聚集了最好的节奏的形式验证技术到单个JasperGold平台和相关仿真,仿真,调试和验证管理真正创建一个引人注目的和全面的解决方案这个客户的挑战。”
关于节奏
节奏使全球电子设计创新和创造中扮演着重要的角色在今天的集成电路和电子产品。客户使用节奏软件、硬件、IP和服务设计和验证先进半导体、消费电子、网络和通讯设备、计算机系统。公司总部位于加利福尼亚州圣何塞,销售办事处、设计中心和研究设施在世界各地为全球电子行业服务。更多关于公司的信息,其产品和服务可在http://www.cadence.com。