基于VMM验证平台的GMAC单元验证
随着集成电路技术的发展，SOC设计中IP核规模越来越大，复杂度越来越高，验证变得愈加困难，而且非常耗时,。本文使用了VMM标准类库提供的相关基础层类搭建了GMAC的验证环境以及相关组件，使用某公司提供的以太网验证IP实现了以太网数据帧收发事务处理器，使用AMBA验证IP模型实现了AXI主从接口的事务处理器，使用SystemVerilog语言编写了测试案例以及验证平台的自动控制机制，最后对GMAC单元进行了验证。验证实现过程及验证结果表明，使用VMM验证方法学能够方便快速的搭建验证平台，使用自动化功能提高了验证效率，同时功能覆盖率能够达到快速实现验证收敛的目的，整个验证过程易于控制，验证效率以及验证完备性较高。
集成电路 IP核 VMM验证法 功能覆盖率
杨俊林 余再祥 李勇
湖南省长沙市国防科技大学计算机学院 410073
国内会议
贵阳
中文
657-664
2014-07-31（万方平台首次上网日期，不代表论文的发表时间）