公司简介
在设计过程的早期,用更少的时间发现更多漏洞
Cadence Jasper Formal Verification Platform 由 C/C++ 和 RTL 级的形式验证应用组成。它们使用智能验证技术和机器学习来发现和修复漏洞,并在设计周期早期提高验证效率。
核心优势
生产力
提高验证吞吐量并简化调试
效率
效率:详尽无遗—找到软件仿真中经常遗漏的边缘场景漏洞
精确
具有签核级精度的形式覆盖率并完全集成于 Cadence 的 vManager™ Verification Management
培训 & 支持
需要帮助?
![](/content/dam/cadence-www/global/en_US/images/site-images/icons/content-icons/training-new.png)
培训
Jasper University自选进度的在线课程使学生能够在许多不同的 Jasper 应用程序中学习技能并获得经过验证的徽章。
应要求在客户现场进行面对面培训。
还可以通过Cadence 的 Retool2Work 计划获得在线课程 ; 请联系我们获取 访问权限。
培训学习地图帮助你对学习机会有一个全面直观的概览
订阅培训新闻。
培训