JasperGold 形式验证平台
主要优点
-
与其他验证方法相比，在设计过程中更早地发现更多的错误
-
提供范围广泛的正式应用程序，通过为特定设计和验证任务提供属性生成和其他目标功能，简化了应用程序
-
提供行业先进的容量和正式的引擎性能，使得可以在越来越大的设计范围上使用更多的验证流程
-
使用包含QuietTrace™技术的强大的Visualize™交互式调试环境简化调试和假设分析
-
Cadence 的下一代 JasperGold® 形式验证平台将 Cadence® Incisive® 形式技术和 JasperGold 技术集成到单个平台中，与以前的解决方案相比，可提高3倍的生产力提升和6倍的性能提升。该平台是 Cadence 系统开发套件的一部分。
该平台包 JasperGold 的 App，解决具体的设计和验证挑战。详见 Cadence JasperGold Platform (Apps) 网站。
