一种基于UVM面向RISC CPU的可重用功能验证平台

北京大学学报（自然科学版）

一种基于UVM面向RISC CPU的可重用功能验证平台

谢峥,王腾,雍珊珊,陈旭,苏吉婷,王新安

北京大学深圳研究生院集成微系统科学工程与应用重点实验室, 深圳 518055;

收稿日期:2013-03-15 出版日期:2014-03-20 发布日期:2014-03-20

A RISC CPU Oriented Reusable Functional Verification Platform Based on UVM

XIE Zheng, WANG Teng, YONG Shanshan, CHEN Xu, SU Jiting, WANG Xin’an

Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen 518055;

Received:2013-03-15 Online:2014-03-20 Published:2014-03-20

摘要/Abstract

摘要： 以UVM验证方法学和UVM1.1标准库为基础建立验证环境, 按照面向方面的模式分离功能、时序和结构属性, 设计参考模型, 在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用, 以PKU-DSPII为例建立完整的验证平台。实验结果表明, 可重用性得到大幅提升, 且测试用例的覆盖率效果提升约7%。

关键词: UVM, 面向方面建模, 智能验证, 领域知识重用, 验证自动化

Abstract: With a verification environment based on the UVM (universal verification Methodology) verification methodology and UVM1.1 standard library, building a reference model through the aspect-oriented paradigm and separation of properties of function, timing and structure and generating the high functional coverage test cases based on knowledge base at the transaction level, the integrated verification platform took the PKU-DSPII as example, to implement RISC CPU-oriented functional verification and domain reuse. Experimental results show that the reusability is enhanced significantly and the coverage efficiency of the test cases improves about 7% relatively.

Key words: UVM, aspect-oriented modeling, intelligent verification, domain knowledge reuse, verification automation

中图分类号:

TN47

谢峥,王腾,雍珊珊,陈旭,苏吉婷,王新安. 一种基于UVM面向RISC CPU的可重用功能验证平台[J]. 北京大学学报（自然科学版）.

XIE Zheng,WANG Teng,YONG Shanshan,CHEN Xu,SU Jiting,WANG Xin’an. A RISC CPU Oriented Reusable Functional Verification Platform Based on UVM[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/

https://xbna.pku.edu.cn/CN/Y2014/V50/I2/221

[1]	张潇,崔小欣,魏为,黄颖,廖凯,廖楠,于敦山. 针对FPGA实现的AES密码芯片的相关性电磁分析攻击[J]. 北京大学学报（自然科学版）, 2014, 50(4): 647-651.
[2]	黄颖,崔小欣,魏为,张潇,廖凯,廖楠,于敦山. 基于FPGA平台的电路级抗差分功耗分析研究[J]. 北京大学学报（自然科学版）, 2014, 50(4): 652-656.
[3]	廖凯,崔小欣,廖楠,王田,张潇,黄颖,于敦山. 一种用于RFID的基于广义二进制Hessian曲线的密码处理器的实现[J]. 北京大学学报（自然科学版）, 2014, 50(4): 657-663.
[4]	胡子一,周?灏,陈岚,张旭,王腾,谢峥. 用于无线传感网的低功耗集成电路技术[J]. 北京大学学报（自然科学版）, 2014, 50(4): 664-674.
[5]	贾嵩,刘黎,李涛,李夏禹,王源,张钢刚. 单器件时钟负载限制竞争RAM锁存器设计[J]. 北京大学学报（自然科学版）, 2014, 50(4): 685-689.
[6]	王腾,王新安,谢峥,胡子一. H.264/AVC编码器中运动估计的低代价VLSI实现[J]. 北京大学学报（自然科学版）, 2014, 50(4): 768-780.
[7]	沈劲鹏, 王新安, 刘珊, 李守成, 胡桐宁. 一种具有新型解调电路和安全功能的超高频RFID 标签芯片[J]. 北京大学学报（自然科学版）, 2014, 50(2): 214-220.
[8]	王腾,谢峥,赵月明,王新安,胡子一,张旭. 面向医疗电子应用的16位RISC MCU设计与实现[J]. 北京大学学报（自然科学版）, 2013, 49(4): 552-562.
[9]	徐峰,王新安,陈勖. 一种基于电磁带隙谐振结构的K波段压控振荡器[J]. 北京大学学报（自然科学版）, 2013, 49(3): 383-388.
[10]	胡子一,赵勇, 王新安,王腾,谢峥,黄如,张兴. CmDSP: 一种可配置媒体数字信号处理器[J]. 北京大学学报（自然科学版）, 2012, 48(4): 545-552.
[11]	葛彬杰,王新安,张兴,冯晓星,汪清勤. MASH21 Sigma-Delta调制器的自顶向下设计[J]. 北京大学学报（自然科学版）, 2011, 47(4): 593-598.
[12]	戴鹏, 雍珊珊, 王新安, 张兴. 可重构视频编解码处理器ReMAP设计[J]. 北京大学学报（自然科学版）, 2011, 47(3): 418-426.
[13]	戴鹏,魏来,辛灵轩,王新安,张兴. ReSim: 一个面向可重构处理器的仿真平台[J]. 北京大学学报（自然科学版）, 2011, 47(2): 231-237.
[14]	王逵,董海瀛,程旭. 针对面积优化的时钟偏斜规划算法[J]. 北京大学学报（自然科学版）, 2009, 45(1): 29-34.
[15]	刘强,马芳珍,佟冬,程旭. 一款高吞吐率RSA密码处理器的设计[J]. 北京大学学报（自然科学版）, 2005, 41(5): 754-763.