期刊文章详细信息
基于断言的SoC设计验证方法
Assertion based verification methodology in SoC design
文献类型：期刊文章
机构地区：[1]重庆邮电大学移动通信工程研究中心,重庆400065
基 金：国家"863"项目(2004AA001390)
年 份：2007
卷 号：26
期 号：10
起止页码：14-16
语 种：中文
收录情况：JST、RCCSE、ZGKJHX、普通刊
摘 要：本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言——OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率。
关 键 词：SOC 验证 断言 OVA
分 类 号：TN407]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
