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

2015年2月15日 现代电子技术 Feb.2015 第38卷第4期 ModernElectronicsTechnique Vol.38No.4 125 125 基于VMM 的L2 Cache 的验证平台的设计与实现 翟江涛，潘 明，苏 雪 （桂林电子科技大学 电子工程与自动化学院，广西 桂林 541004） 摘 要：随着集成电路行业的不断发展，芯片设计规模空前增长，功能也越来越复杂，使得验证的难度和重要性日益增 大。在此提出一种由SystemVerilog语言搭建的基于VMM的一种面向对象的验证平台。该验证平台主要使用覆盖率驱动的 验证技术，并结合可约束随机测试和记分板技术，对一款多核处理器芯片中的L2 Cache进行功能验证。最后对验证平台的 可重用性进行研究。实验结果表明，验证平台具有良好的激励生成机制，能够对L2 Cache模块的功能进行全面的验证；同 时，验证平台经过少量更改就可以在基于标准的AXI接口的SoC验证平台之间重用，极大地提高了验证效率，缩短了验证 时间。 关键词：VMM；L2 Cache；功能验证；SystemVerilog；功能覆盖率；重用性 中图分类号：TN710⁃34；TP302 文献标识码：A 文章编号：1004⁃373X（2015）04⁃0125⁃04 Design and implementation of L2 Cache verification platform based on VMM ZHAIJiang⁃tao，PANMing，SUXue （SchoolofElectronicEngineeringandAutomation，GuilinUniversityofElectronicTechnology，Guilin541004，China） Abstract：Withthecontinuousdevelopmentoftheintegratedcircuitindustry，thescaleandcomplexityofthechipisin⁃ creasedsignificantly，whichmakethedifficultyandimportanceofverificationincreaseddaybyday.Aobject⁃orientedverifica⁃ tionplatformbasedonverificationmethodologymanual （VMM）andbuiltbySystemVeriloglanguageisproposedinthispaper. TheplatformwhichisusedtoverifythefunctionofL2Cacheinamulti⁃coreprocessorchipisdrivenbycoveragerateandcom⁃ binedwithconstraint⁃randomizetestandscoreboardtechnology.Thereusabilityoftheplatformisresearch.Theexperimentalre⁃ sultsshowthattheverificationplatformhasagoodstimulusgenerationmechanism，whichcanconductacomprehensiveverifica⁃ tionoftheL2 Cache.Withali