Coverage model-based random verification methodology of AMBA interface
Xu Tong · Jisuanji yingyong yanjiu · 2008
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.