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

Coverage model-based random verification methodology of AMBA interface

作　　者：许彤[1] 吕涛[2] 

机构地区：[1]中国科学院计算技术研究所微处理器中心 [2]中国科学院研究生院

出　　处：《计算机应用研究》2008年第7期2078-2080,2137,共4页Application Research of Computers

基　　金：国家自然科学杰出青年基金资助项目(60325205);国家自然科学基金重点资助项目(60633060);中国科学院计算所知识创新课题基金资助项目(20056230);国家自然科学基金资助项目(60603049);国家“973”重点基础研究发展计划资助项目(2005CB321600)

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

关 键 词：覆盖率模型 约束化随机测试 AMBAAHB 龙芯1号IP核 片上系统 设计重用 

分 类 号：TP336[自动化与计算机技术—计算机系统结构]