-
题名基于约束的处理器接口随机测试模型
被引量：1
- 1
-
-
作者
郇丹丹
李祖松
刘志勇
-
机构
中国科学院计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第15期227-229,共3页
-
基金
国家自然科学基金杰出青年基金资助项目(60325205)
国家"863"计划基金资助重点项目(2002AA110010
+2 种基金
2005AA110010
2005AA119020)
国家"973"计划基金资助项目(2005CB321600)
-
文摘
提出了一种处理器接口测试模型,并给出了具体实现方案。该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法。结果表明,基于约束的处理器接口随机测试模型的覆盖率达到83.68%,能够快速有效地完成处理器接口部件的功能验证。
-
关键词
接口
功能验证
仿真
约束随机测试
覆盖率
龙芯2号
-
Keywords
interface
functional verification
simulation
constrained random test
coverage
Godson-2
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于覆盖率模型的AMBA接口随机验证方法
- 2
-
-
作者
许彤
吕涛
-
机构
中国科学院计算技术研究所微处理器中心
中国科学院研究生院
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第7期2078-2080,2137,共4页
-
基金
国家自然科学杰出青年基金资助项目(60325205)
国家自然科学基金重点资助项目(60633060)
+2 种基金
中国科学院计算所知识创新课题基金资助项目(20056230)
国家自然科学基金资助项目(60603049)
国家“973”重点基础研究发展计划资助项目(2005CB321600)
-
文摘
AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。
-
关键词
覆盖率模型
约束化随机测试
AMBAAHB
龙芯1号IP核
片上系统
设计重用
-
Keywords
coverage model
constrained random verification
AMBA AHB
Godson-1 IP core
system-on-chip
design reuse
-
分类号
TP336
[自动化与计算机技术—计算机系统结构]
-
