基于VMM验证平台的GMAC单元验证

摘要

随着集成电路技术的发展，SOC设计中IP核规模越来越大，复杂度越来越高，验证变得愈加困难，而且非常耗时,。本文使用了VMM标准类库提供的相关基础层类搭建了GMAC的验证环境以及相关组件，使用某公司提供的以太网验证IP实现了以太网数据帧收发事务处理器，使用AMBA验证IP模型实现了AXI主从接口的事务处理器，使用SystemVerilog语言编写了测试案例以及验证平台的自动控制机制，最后对GMAC单元进行了验证。验证实现过程及验证结果表明，使用VMM验证方法学能够方便快速的搭建验证平台，使用自动化功能提高了验证效率，同时功能覆盖率能够达到快速实现验证收敛的目的，整个验证过程易于控制，验证效率以及验证完备性较高。