下一代开发套件降低项目验证时间

节奏设计系统宣布下一代节奏JasperGold形式验证平台。这个新的解决方案集成了节奏敏锐的正式技术和JasperGold技术成一个单一的平台,提供15倍的性能提升与以前的解决方案。

作为一个集成的节奏系统开发套件的一部分,JasperGold技术旨在帮助减少验证安排了三个月,同时提高设计质量和效率,将一组全面的功能集成到一个解决方案,包括:

设计编译和正式的引擎技术从深刻的正式验证器和敏锐的企业验证器,包括创新三叉戟multi-cooperating引擎。这使得容易迁移现有的客户和15倍的性能提升bug和证据融合模式。

下一代JasperGold平台与节奏被完全集成系统开发套件’年代的仿真平台,模拟和钯和vManager™启用综合metric-driven验证工具。这个结果在一个三个月的计划减少通过formal-assisted验证关闭。

JasperGold可视化™和QuietTrace™技术,已集成了Indago™调试平台,进一步扩大分析和动态假设探索,帮助减少根源调试时间5 - 100 x。

““门齿正式和仿真解决方案的长期客户,我们对下一代JasperGold平台”,”说马克·邓恩技术执行副总裁想象力。““以及改进调试和易用性,我们’已经取得了显著增加的性能相比,敏锐的企业验证器,以证明收敛在一个给定时间”。”

“”交付高质量的SoC设计有效地增加设计复杂度的时代是一个持续的客户的挑战”,”Oz Levia,副总统的正式和自动验证,系统&验证组节奏。“下一代JasperGold“这个平台,我们’已经聚集了最好的节奏’年代正式验证技术到单个JasperGold平台和联系,在模拟、仿真、调试和验证管理创建一个真正令人信服的和全面的解决方案,这客户的挑战。””

船形开关http://www.cenxn.com