期刊文献+

基于UVM验证方法学的AES模块级验证 被引量:16

AES Module Level Verification Based on UVM
在线阅读 下载PDF
导出
摘要 分析了基于System Verilog语言的UVM(Universal Verification Methodology)高级验证方法学,并使用该方法学对AES(Advanced Encryption Standard)模块进行了功能验证.验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务.该方法提高了验证的效率验和证平台的可重用性,较好地满足了芯片验证需要. This paper analyzed an advanced verification methodology called UVM which based on system verilog language and verified the function of AES. As a result of verification, we can monitor coverage, control the platform and optimize the testbench and testcase. This Methodology can improve the verification efficiency and platform reuse. It well meets the needs of chip verification.
作者 田劲 王小力
出处 《微电子学与计算机》 CSCD 北大核心 2012年第8期86-90,共5页 Microelectronics & Computer
基金 国家自然科学基金项目(61172040)
关键词 UVM验证方法学 SYSTEM VERILOG AES 随机约束 UVM System Verilog AES Random Constraint
作者简介 王小力男,(1956-),教授,博士生导师.研究方向为高性能VLSI与优化设计、集成化芯片系统设计与基础研究、光纤通讯与光波分复用(WDM)技术. 田劲男,(1985-),硕士研究生.研究方向为SSD固态硬盘主控芯片的设计与验证.
  • 相关文献

参考文献6

  • 1李磊,罗胜钦.基于VMM方法的SOC集成验证[J].电子与封装,2011,11(1):18-21. 被引量:8
  • 2Announcing the Advanced Encrypyion Stadndard[s] FZPS-PVB-197 Federal Information Processing Standards Publication. 2001.
  • 3Accdlera. Universal verification methodology 1.1 us- ers guide[M]. Cadence Design Systems Inc. , Mentor Graphics Corp. , Synopsys Inc. , 2011,5:2.
  • 4Accdlera. Universal verification methodology 1.1 class reference[M]. Cadence Design Systems Inc. , Mentor Graphics Corp. , Synopsys Inc. , 2011,6:342.
  • 5Sharon Rosenberg. A practical guide to adopting the universal verification methodology [M]. Cadence De- sign Systems Inc. , 2010,5:9.
  • 6Chris Spear. System Verilog for Verification[M]. Synopsys Inc. , 2008:5.

二级参考文献8

  • 1Janick Bergeron,Eduard Cerny,Alan Hunter,et al.SystemVerilog验证方法学[M].夏宇闻,杨雷,陈先勇,等译.北京:北京航空航天大学出版社,2007.
  • 2Chris Spear. SystemVerilog for Verification[M].Springer, 2006, 1-18.
  • 3Verification Methodology Mannual[P].Synopsys,Inc, &ARM,Inc.
  • 4Jinbin Hu,Xiaoguang Li.System verification based on VMM and SOPC[C].Computer Science and Information Technology (ICCSIT), 2010 3rd IEEE International Conference. 2010:41-43.
  • 5孙海平,丁健.系统芯片验证方法与技术[M].北京:电子工业出版社,2005.
  • 6Keaveney Martin ,McMahon Anthony, O'Keeffe Niall,et al..The development of advanced verification environments using System Verilog[C]. Signals and Systems Conference, 208. (ISSC 2008). lET Irish.2008:325-330.
  • 7Lu Kong, Wu-Chen Wu,Yong He,et al.. Design of SoC verification platform based on VMM methodology[C]. ASIC, 2009. ASICON '09. IEEE 8th International Conference. 2009:1272-1275.
  • 8Janick Bergeron.Writing Testbenches using SystemVerilog [M].Springer,2006.

共引文献7

同被引文献58

  • 1谈笑,王小力.一种基于UVM的模块级可重用随机化验证平台构建方法[J].微电子学与计算机,2015,32(3):67-72. 被引量:10
  • 2ETSI.EN 300 421.Digital Video Broacasting(DVB).Framing structure,channel coding and modulation for 11/12GHz satellite services[S].1997.
  • 3Accdlera.Universal verification methodology 1.1 user′s guide[M].Cadence Design Systems Inc.,Mentor Graphics Corp.,Synopsys Inc.,2011,5:2.
  • 4Chris Spear.System verilog for verification[M].Synopsys Inc.,2008:329.
  • 5Accellera, Universal Verification Methodology(UVM) 1.1 User's Guide[S]. 2011.
  • 6EPC Radio-Frequency Identity Protocols Class-1 C-en- eration-2 UHF RFID Protocol for Communications at 860MHz-960MHz Version 1.2.0[S]. 2008.
  • 7克里斯斯皮尔.SystemVerilog验证测试平台编写指南[M].北京:科学出版社,2009:78-87.
  • 8Naveen Sudhish,Raghavendra BR,Harish Yagain.An efficient method for using transaction level assertions in a class based verification envioremnt. 2011 International Symposium on Electronic System Design . 2011
  • 9Serdar Tasiran,Kurt Keutzer.Coverage Metrics for Functional Validation of Hardware Designs. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems . 2001
  • 10accellera.universal verification methodology (uvm)1.0 user’’s guide. . 2011

引证文献16

二级引证文献49

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部