基于断言的验证
为提高验证效率并改进调试可见性，系统设计与验证团队需要基于断言的验证环境，统一软件、语言、IP、调试和覆盖率。在各个设计阶段，Cadence® 基于断言的验证能够探测靠近源头的错误。Cadence模拟、加速、仿真、验证规划与管理、全面覆盖和形式验证等技术能够实现基于断言的验证。
开放验证库 (OVL)与Incisive断言库支持多种Cadence Incisive® 验证技术的SVA和PSL语言。SVA与PSL可以用十分简洁的方式描述非常复杂的暂时条件，而且它们可以在模拟、加速和仿真中完美使用。Cadence断言式验证技术广泛支持业界标准语言和库，帮助团队完成验证，并衡量全面覆盖。断言也可以服务于存档目的，将一个项目的IP重用于另一个项目时非常实用。
当使用Incisive Palladium和Xtreme加速器与仿真器时，可综合的测试向量与使用SpeedBridge® Adapters的电路内仿真是常用的模式。这些使用模式允许客户运行长时间高性能的系统级测试。在这些长时间测试的过程中，断言非常有用，因为他们会不断监控设计行为，从而提高调试效率与设计状态的可预测性。