基于覆盖率模型的AMBA接口随机验证方法
文献类型：期刊论文
| 作者 | 许彤2; 吕涛1 |
| 刊名 | 计算机应用研究
 |
| 出版日期 | 2008 |
| 卷号 | 25.0期号:007页码:2078 |
| 关键词 | 覆盖率模型 约束化随机测试 AMBAAHB 龙芯1号IP核 片上系统 设计重用 |
| ISSN号 | 1001-3695 |
| 英文摘要 | AMBA协议是主流SoC（system-on-chip）片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/37053]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院大学 2.中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 许彤,吕涛. 基于覆盖率模型的AMBA接口随机验证方法[J]. 计算机应用研究,2008,25.0(007):2078. |
| APA | 许彤,&吕涛.(2008).基于覆盖率模型的AMBA接口随机验证方法.计算机应用研究,25.0(007),2078. |
| MLA | 许彤,et al."基于覆盖率模型的AMBA接口随机验证方法".计算机应用研究 25.0.007(2008):2078. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。