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

Coverage model-based random verification methodology of AMBA interface

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.