(下转第312页)
(上接第307页)
参考文献
[1]Mentor.OVM User Guide[Z].2010.
[2]Synopsys.VMM User Guide[Z].2011.
[3]Synopsys.Universal Verification Methodology(UVM) 1.1 User’s Guide[Z].2011.
[4]Bergeron J,Cerny E,Hunter A,et al.Verification Methodology Manual for SystemVerilog[M].Berlin,Germany:Springer,2005.
[5]徐栋磊.VIP及其在验证平台中应用的研究[D].成都:西南交通大学,2010.
[6]Bergeron J.Writing Testbenches Using System Verilog[M].Berlin,Germany:Springer,2005.
[7]谢峥,王腾,雍珊珊,等.一种基于UVM面向RISCCPU的可重用功能验证平台[J].北京大学学报:自然科学版,2014,50(2):221-227.
[8]谈笑,王小力.一种基于UVM的模块级可重用随机化验证平台构建方法[J].微电子学与计算机,2015,32(3):67-72.
[9]徐金甫,李森森.采用UVM方法学实现验证的可重用与自动化[J].微电子学与计算机,2014,31(11):14-17.
[10]张良,王天成,王健,等.PCIE协议栈模拟验证平台的设计[J].计算机工程,2015,41(6):287-293.
[11]胡向东,巨鹏锦,朱英,等.高性能处理器层次化可重用模拟验证环境[J].中国科学:信息科学,2015,45(4):535-547.
[12]Wu Yingpan,Yu Lixin,Xue Ke,et al.A Hiberarchy Testbench-based Functional Verification Method of Memory Controller[J].Microelectronics and Computer,2009,26(2):25-28.
[13]吴从中,王杰,吴雨多,等.USB3.0控制端点的功能验证方法[J].电子测量与仪器学报,2012,26(6):508-513.
[14]吴从中,彭乐,王亚君,等.USB3.0设备控制器IP核OUT端点测试平台的研究与实现[J].电子测量与仪器学报,2012,26(7):646-651.
[15]刘杰.基于VMM的USB3.0物理层数字部分的验证[D].西安:西安电子科技大学,2014.
[16]Piziali A.Functional Verification Coverage Measurement and Analysis[M].[S.l.]:Kluwer Academic Publishers,2004.
[17]鲍华,洪一,郭二辉.面向SoC的软硬件协同验证平台[J].计算机工程,2009,35(8):271-273.
[18]Wagner I,Bertacco V,Austin T.Microprocessor Verifi-cation via Feedback-adjusted Markov Models[J].IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems,2007,26(6):1126-1138.
编辑顾逸斐 |