论文研究-基于覆盖率模型的AMBA接口随机验证方法.pdf

【文件属性】：
文件名称：论文研究-基于覆盖率模型的AMBA接口随机验证方法.pdf
文件大小：322KB
文件格式：PDF
更新时间：2022-08-11 16:56:42
覆盖率模型,约束化随机测试,AMBA AHB,龙芯1号IP核,片上系统,设计重用 AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证，介绍了基于覆盖率模型的AMBA接口随机验证的系统架构，提出了AHB协议模型的定义方法，采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题，最终达到了100％的功能覆盖率。该方法能够有效地保证接口设计的质量，对互连协议的验证具有普适意义。