基于SystemVerilog和MATLAB参考模型的WLAN基带功能验证.pdfVIP

26卷 第11期 微 电 子 学 与 计 算 机 Vo1．26 No．11 2009年 11月 M ICROELD(rRONICS COMPUTER Novenlber2009 基于 SystemVerilog和 MATLAB参考模型的 WLAN基带功能验证 王 凯，张建国 (北京中电华大电子设计有限公司无线通信部 ，北京 100085) 摘 要：针对WLAN基带芯片的特点与功能验证需求，提出并实现基于 SystemVerilog语言和MATLAB参考模型 的功能验证方案．并给出该方案中MATLAB参考模型与验证平台的融合，功能覆盖模型的定义以及覆盖率驱动验 证机制．使用该方案有效地提高一款WLAN基带芯片的功能验证效率和质量，完成功能验证 目标 ． 关键词：功能验证；参考模型；SystemVerilog语言；功能覆盖；WLAN基带 中图分类号：TN43 文献标识码 ：A 文章编号 ：1000—7180(2009)11—0181—04 W LAN BasebandFunctionalVerification Based on SytemVerilogandM ATLAB ReferenceM odel WANG Kai，ZHANGJian—guo (WirelessCommunicationDivision，CECHuadaElectronicDesignCo．，Ltd．，Beijing100085，China) Abstract：AccordingtOWLAN basebandIC characteristicsandfunctiaolverificationrequirement。afunctionalverification schemebasedonSystemVerilogandMATLABreferencemodelisproposed．Themcehanism isalsointroducedforMAT— LAB referencemoddmergedwith testbench，functionalcoveragemodd defineandcoverage—drivenverification．With thiscsheme，theefficiencyandqualityoffunctionalverificationforaWLAN basebnadICareimprovde effcetively，the verifiactiongoalareachievde． Keywords：functionalverification；referencemod el；systemverilog；functionalcoverage；WLAN basebnad 1 引言 验证方法进行功能验证 2 功能验证挑战与验证流程 SystemVerilog语言可以应用事务级建模、自动 化响应检查、可重用层次化结构、基于断言的检查与 WLAN基带是通信类算法芯片，由几十个算法 调试等多种新技术来提高验证生产率．参考模型是 模块组成，和其他通信类芯片一样，WLAN基带项 描述设计功能的黑盒模型，通常使用高级语言编写， 目的功能验证有如下特点：(1)模块数量多，模块间 抽象级别高，仿真速度快…．在验证平台中使用参 接口复杂；(2)项 目周期短；(3)算法复杂，所验证状 考模型不仅可以在RTL代码完成之前完成对验证 态空间巨大；(4)仿真速度慢；(5)需要支持约束随机 平台的调试，还可 以与待验证设计 (DesignUnder 激励 ，尽可能遍历中间数据的边界状态．基于以上特 Test，D