基于覆盖率模型的AMBA接口随机验证方法

• 作者: 吕涛 许彤
• 来源期刊: 计算机应用研究
• 关键词: 覆盖率模型 约束化随机测试 AMBA AHB 龙芯1号IP核 片上系统 设计重用
• 年，卷（期）: 2008,（7）
• 所属期刊栏目: 系统应用开发
• 页码范围: 2078-2080,2137
• 页数: 4页
• 分类号: TP336
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.07.047

摘要

AMBA协议是主流SoC(system-on-chip)片上总线的事实标准.结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试.该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率.该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕涛		41	423	10.0	20.0
5	许彤	中国科学院计算技术研究所微处理器中心	15	113	4.0	10.0