随着IC制造工艺的飞速发展以及设计规模的增大、复杂度的持续增加,当今社会的需求又迫使设计人员把越来越多的功能和模块集成到同一款芯片上。验证工作的任务量呈指数增长,难度也成倍增加。IC验证的趋势是在熟悉电路知识的前提下,需要更多软件方面的知识和相关技巧,要求更强的可重用性,以及保证验证的充分性和实现验证平台的自动化。本文对基于Verification IP验证方法的AXI总线系统设计与实现进行研究,以实际项目为例研究了如何利用硬件验证语言、VIP工具和VMM验证方法,快速搭建可重用性验证平台。本文详细分析了VMM验证方法各个部件的使用和AXI-VIP(Advanced eXtensible Interface-Verification IP)在VMM验证环境下的应用,以及这样做的好处和实际意义。VMM验证方法基于硬件描述语言SystemVerilog,提供了完善的函数库,Verification IP作为工具补充,功能比较完善,可重用性和易用性更强。AXI总线是AMBA3.0的核心,AXI总线通过互联结构把各个模块连接在一起,实现了不同模块之间的通信,提高了不同设备之间的兼容性,同时能够使具有同等功能的芯片面积更小,功耗更低,获得更加优异的性能。根据AXI总线的特点以及IC设计行业对验证平台自动化、可重复利用的要求,提出了层次化的验证平台结构,并制定了直接激励生成、随机激励生成、平台内检测和覆盖率报告分析机制。这种验证方法具有可重用性、自动化的特点,覆盖率比较理想,可以有效缩短芯片设计周期,能够满足当今验证工作的要求。本文在深入分析VMM验证技术、VMM验证平台的搭建及AXI总线信号集合和时序关系的基础上,针对一款电源管理芯片,完成了以下设计:共享地址总线和多重数据总线的互联结构;采用时分复用和固定优先级仲裁法相结合的仲裁器;以及读写地址通道、写数据通道、读数据通道和写响应通道的解码器。在主要关心读写操作的数据长度、大小和突发式读写类型的前提下,使用Verilog语言完成一对主设备和从设备之间读交易和写交易的逻辑设计,并搭建基于Verification IP工具的VMM验证平台,为验证工作做准备。根据该电源管理芯片的实际需求,本文的设计选用64位数据线,4位读写地址ID,突发式读写大小只使用总线的低两位。最后,提取功能点,制定验证方案。在验证中,获取覆盖率报告,代码覆盖率和功能覆盖率都达到了100%,证明了验证的完备性和设计的可行性。本文搭建的VMM验证平台,为其他设计和验证工作提供了相应的参考,具有借鉴和推广意义。