基于断言的SoC设计验证方法

摘要：

随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步.因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容.本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.

关键词：SoC、验证、断言、OVA

分类号：TN7(基本电子电路)

资助基金：国家高技术研究发展计划863计划2004AA001390

在线出版日期：2008-01-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：52-55