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

摘要：

本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.

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

所属期刊栏目：26

分类号：TN407(微电子学、集成电路（IC）)

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

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

页数：共3页

页码：14-16