基于断言的验证（ABV）技术.pdfVIP

基于断言的验证（ABV）技术 基于断言的验证（ABV）技术 什么是 ABV？ ABV（Assertion Based Verification：基于断言的验证）是以断言为关键要素、确保 设计符合规格的验证方法。ABV对于提升验证生产力、确保设计质量、改善验证结果的可预 测性带来重大的创新以及革命性的进步。 透过自动断言检查、预定义和业已开发成功的完善的设计检查库以及总线监视器技术， Mentor Graphics公司的解决方案可以很方便地将 ABV融入现有设计流程中。断言综合技术 也让 ABV的优势在整个验证过程得到充分发挥。 Mentor Graphics 公司验证解决方案 主要特点： 基于复用和互操作的协同验证标准 如 SystemVerilog、PSL、OVL 软件仿真、硬件模拟、形式验证高效 率贯穿设计和验证全过程 集成全面的覆盖率机制包括代码覆 盖率、结构覆盖率、功能覆盖率以及 Mentor Graphics 基于断言的验证方法 事务覆盖率 和工具利用仿真和形式验证引擎，能够实现 容易实现与现有流程的整合 最快的验证，包括覆盖率及验证 IP。 方法学为几百个设计所验证 最完善的 ABV 解决方案 ASIC和 SOC设计日益复杂，今天产品开发周期中绝大部分的时间都为功能验证所占用。 同传统技术相比较，ABV能够帮助设计工程师团队实现快速的侦错和故障定位。因此业界普 遍认可 ABV是设计验证过程中的一个关键要素。 著名的 ModleSim验证环境和业界领先的 0-In 断言技术整合在一起，Mentor Graphics 公司为行业提供最广泛基于标准的 ABV 解决方案。作为业已证明成功的方法学，Mentor Graphics 公司的 ABV 已经为全球最大 15 家电子公司中的 12 家所采纳，并且成功应用在几 百个设计之中。 Mentor Graphics公司的 ABV解决方案支持全部的标准语言并且内嵌多种验证引擎，因 而在验证全过程中将断言技术的优势得到最大限度地发挥，从而加快故障诊断、减少达到签 收（sign-off）覆盖率的时间、提升设计质量。包括准确检测设计中故障的位置、容易采纳 以及自动断言生成等特点都迅速促进和提高验证生产力。Mentor Graphics公司的 ABV技术 在整个验证流程中进一步提升了可观测性并且加强了断言支持从而确保更好的设计质量，而 集成的覆盖率技术则为整个验证过程提供更高的可预测性。 ® AcconSys Confidential 第 1 页 共 5 页 ® a service company Mentor Graphics Authorized Distributor 北京上海成都奥肯思科技有限公司 基于断言的验证（ABV）技术