-
题名基于覆盖率驱动的SoC验证技术研究
被引量：5
- 1
-
-
作者
朱车壮
陈岚
冯燕
-
机构
中国科学院微电子研究所
北京大学
-
出处
《微电子学与计算机》
CSCD
北大核心
2011年第11期48-52,共5页
-
基金
03重大专项(2009ZX03005-002)
国家"八六三"计划项目(2009AA012002)
中科院知识创新项目
-
文摘
覆盖率数据是验证工程师判定SoC验证完备程度的定性度量,为SoC验证完全性提供了保障,指明了方向.文中以SoC总线仲裁器验证为例,对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析,然后根据覆盖率分析结果反馈到RTL设计代码和测试激励进行修正,直到验证的完整性满足设计的要求.
-
关键词
SoC验证方法
覆盖率驱动
结构覆盖率
功能覆盖率
断言覆盖率
-
Keywords
SoC verification method
coverage--driven
structural coverage
functional coverage
assertion coverage
-
分类号
TN911
[电子电信—通信与信息系统]
-
-
题名基于面向多种覆盖率驱动的验证方法研究
被引量：1
- 2
-
-
作者
董伟杰
张晓静
-
机构
重庆邮电大学
包头市铁路工程学校
-
出处
《中国测试技术》
CAS
2008年第5期54-56,共3页
-
基金
国家"863"计划资助项目(2004AA123150)
国家"863"技术引导项目(2004AA001390)
-
文摘
验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分析。然后根据分析得出的数据再次进行验证,直到验证的完整性满足设计者的要求。覆盖率是否达到预期的要求,可以作为判断验证工作质量的依据。
-
关键词
验证方法
覆盖率驱动
功能覆盖率
结构覆盖率
断言覆盖率
-
Keywords
Verification method
Coverage-driven
Functional coverage
Structural coverage
Assertion coverage
-
分类号
TN929.533
[电子电信—通信与信息系统]
TP206.1
[自动化与计算机技术—检测技术与自动化装置]
-
