概述
通过形式验证确保您的设计符合主流协议
Cadence® 形式验证 IP (VIP) 经过优化，支持高性能执行和快速调试，由基于断言的 VIP 库组成，用于全面验证被测设计 (DUT) 与特定协议的一致性。利用我们的形式验证 IP，您可以在早期发现关键错误，并缩短整体验证时间。我们所有的形式 VIP 均经过优化，可在我们的形式化引擎和智能资源管理器Jasper™ ProofGrid™中高效执行，同时还可利用我们独特的调试优化器 Jasper QuietTrace™ 进行快速调试。各种 VIP 还可以与我们独特的交互式调试平台 Jasper Visualize™ 配合使用，以尽早整合您的实现和套件和/或快速协议定制/扩展。形式 VIP 包括可重复使用的方法，以探索基于接口事件的协议功能和意图。为支持协议规范的早期探索和验证而生成的协议相关属性，针对形式验证经过了优化，可无缝插入到仿真环境中。
我们的形式验证 IP 可无缝插入 Jasper 应用或仿真环境，帮助您在验证过程中及早发现重大错误
核心优势
形式 VIP 的主要优点
穷尽验证合规性
用穷尽的基于断言的验证 IP 库来验证设计是否符合标准协议
即插即用
支持自动化、封装式、即插即用功能
提升设计质量
为符合规范的设计提供质量支持
针对形式验证进行优化
针对 Jasper 形式验证平台进行优化
支持领先的仿真器
同时与领先的仿真器兼容，包括 Xcelium™ 逻辑仿真