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