互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

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


□ 许 彤 吕 涛

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

  关键词:覆盖率模型; 约束化随机测试; amba ahb; 龙芯1号ip核; 片上系统; 设计重用

  中图分类号:tp336 文献标志码:a

   文章编号:1001-3695(2008)07-2078-03

  

  coverage model-based random verification methodology of amba interface

  xu tonga,b,lv taob,c

  (a.microprocessor center, institute of computing technology, b.graduate school, c.key laboratory of computer system & architecture, institute of computing technology, chinese academy of sciences, beijing 100190, china)

  abstract:amba protocol was the de-facto standard for on-chip bus for mainstream soc.with godson-1 ahb interface as prototype, the coverage model-based random system infrastructure on amba interface verification was presented, the definition method of ahb protocol model was issued and constrained random vectors were used to intensify the object space test. via this method several hidden bugs were efficiently discovered and 100% functional coverage was reached. the method can efficiently guarantee the quality of interface design and has broad applicability on interconnection protocol verification.

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017