Institute of Computing Technology, Chinese Academy IR
| 基于覆盖率模型的AMBA接口随机验证方法 | |
| 许彤1; 吕涛2 | |
| 2008 | |
| 发表期刊 | 计算机应用研究
 |
| ISSN | 1001-3695 |
| 卷号 | 25.0期号:007页码:2078 |
| 摘要 | AMBA协议是主流SoC（system-on-chip）片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。 |
| 关键词 | 覆盖率模型 约束化随机测试 AMBAAHB 龙芯1号IP核 片上系统 设计重用 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/37054 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [许彤]的文章 |
| [吕涛]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [许彤]的文章 |
| [吕涛]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [许彤]的文章 |
| [吕涛]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论