基于VMM的L2 Cache的验证平台的设计与实现

作     者：翟江涛 潘明 苏雪 ZHAI Jiang-tao;PAN Ming;SU Xue

作者机构：桂林电子科技大学电子工程与自动化学院广西桂林541004 

基　　金：国家自然科学基金资助项目(51465011) 

出 版 物：《现代电子技术》 (Modern Electronics Technique)

年 卷 期：2015年第38卷第4期

页      码：125-128页

摘      要：随着集成电路行业的不断发展,芯片设计规模空前增长,功能也越来越复杂,使得验证的难度和重要性日益增大。在此提出一种由System Verilog语言搭建的基于VMM的一种面向对象的验证平台。该验证平台主要使用覆盖率驱动的验证技术,并结合可约束随机测试和记分板技术,对一款多核处理器芯片中的L2 Cache进行功能验证。最后对验证平台的可重用性进行研究。实验结果表明,验证平台具有良好的激励生成机制,能够对L2 Cache模块的功能进行全面的验证;同时,验证平台经过少量更改就可以在基于标准的AXI接口的So C验证平台之间重用,极大地提高了验证效率,缩短了验证时间。

主 题 词：VMM L2 Cache 功能验证 System Verilog 功能覆盖率 重用性 

学科分类：080902[080902] 0809[工学-计算机类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16652/j.issn.1004-373x.2015.04.022

馆 藏 号：203397411...