基于UVM的存储控制器功能验证.pdfVIP

5．23(3) 计算机测量与控制．20l · MeasurementControl ·834 Computer 01 文章编号：167l一4598(25)03一0834一04 中图分类号：TP311 文献标识码：A 基于UVM的存储控制器功能验证 曹 阳1，胡越黎1，2 (1．上海大学微电子研究与开发中心，上海200072；2．上海大学机电工程与自动化学院，上海200072) 摘要：采用通用验证方法学(uVM)搭建验证平台，以AHB总线上挂载的存储控制器为验证对象，重点分析了uVM验证平台的 设计；采用传统的定向验证方法将很难遍历到所有情况，而通过uVM验证平台能够产生受约束的随机激励信号，对存储控制器进行全 面的验证，并能自动收集功能覆盖率和分析验证结果；验证结果表明，该验证平台能有效地查出设计缺陷，达到覆盖率要求，减少验证 时间，提高验证效率，且具有良好的可配置性和可复用性。 关键词：uVM验证方法学；存储控制器；受约束的随机化激励；功能覆盖率 FunctionalVerificationofMemorvControllerBasedonUVM CaoYan91，HuYuelil’2 (1．MicroelectronicsResearchand 200072，China Development Center，ShanghaiUniversity，Shanghai ofMechatronic and 200072，China) 2．C01lege EngineeringAutomation，ShanghaiUniversity，Shanghai Abstract：Thisconstructsave“fication UVMbased。nthe contr01lermountedintheAHBbus．Thede paper platformusing mem。ry ofUVMverificationis traditionaldirectionalverificatl。nmethodwillbedifficulttotraverseallcases．Nev sign platformemphasized．Using constraintedrandomstimull UVM the verificationcan function。f controUer ertheless，generating through platformthor。ughlyverify memory can and 。alsoit c01lectfunctional results Ve“ficationresults that，thisverificati。n caneffi coverageanaIyze automatically． report platform out in ve“ficationtlme， verfication withexcellent ciently“ndbugsdes喀n，fulfillcoveragerequirement，shorte