关键词：覆盖率模型； 约束化随机测试； amba ahb； 龙芯1号ip核； 片上系统； 设计重用
coverage model-based random verification methodology of amba interface
xu tonga,b,lv taob,c
(a.microprocessor center, institute of computing technology, b.graduate school, c.key laboratory of computer system & architecture, institute of computing technology, chinese academy of sciences, beijing 100190, china)
abstract: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.......