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

基于覆盖率模型AMBA接口随机验证方法 　　摘 要：AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证，介绍了基于覆盖率模型的AMBA接口随机验证的系统架构，提出了AHB协议模型的定义方法，采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题，最终达到了100％的功能覆盖率。该方法能够有效地保证接口设计的质量，对互连协议的验证具有普适意义。?? 　　关键词：覆盖率模型； 约束化随机测试； AMBA AHB； 龙芯1号IP核； 片上系统； 设计重用?? 　　中图分类号：TP336 文献标志码：A 　　 文章编号：1001-3695(2008)07-2078-03 　　?? 　　Coverage model-based random verification methodology of AMBA interface 　　XU Tong????a,b??,LV Tao????b,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.?? 　　Key words:coverage model； constrained random verification； AMBA AHB； Godson-1 IP core； system-on-chip； design reuse?お? 　　 　　随着SoC设计越来越复杂，可设计重用的IP核成为保证SoC设计质量和进度的重要手段。在主流SoC集成IP模块的过程中，30％~40％的集成工作量花费在各个IP核的互连验证上。采用通用的片上通信标准，保证IP核接口与片上通信协议的兼容性是SoC设计重用方法学解决SoC集成难题的有效手段[1]。IP接口的主流协议兼容性是衡量IP核可用性的重要标准，这对IP接口的设计和验证提出了挑战。?? 　　面对不同应用，业界存在多种片上互连的标准[2]，主要有基于交换的AMBA AXI[3]、OCP [4]和基于总线的AMBA AHB/APB[5]、CoreConnect、wishbone等。共享总线结构简单而且性能优越，目前仍为大部分SoC片上互连方案采用。其中AMBA总线是主流片上总线的事实标准，几乎所有的商业IP都提供该接口。研究AMBA互连接口的验证方法，对于开发可用的IP核接口，具有非常现实的意义。?? 　　龙芯1号IP核是一款以单发射结构、动态流水线、AMBA接口为特征的32 bitRSIC处理器核，面向嵌入式SoC应用。龙芯1号处理器IP提供AHB总线主（AHB master）接口。本文将以龙芯1号AHB接口为原型，介绍AMBA AHB接口的普适性验证方法。?? 　　 　　1 AMBA AHB协议及总线验证方法?? 　　 　　AMBA AHB总线用于S