期刊文献+

基于UVM的SDIO接口的验证平台搭建 被引量:2

Construction of a UVM-Based Verification Platform for SDIO Interface
在线阅读 下载PDF
导出
摘要 如今芯片的功能日渐增多且愈发难以理解,运用仿真器的波形去验证设计变得越来越困难,为了缩短简化验证时间,需要提供一个标准化的验证平台。因为电阻晶体管逻辑(Resistor Transistor Logic,RTL)的代码使用的是Verilog语言,但是验证没有标准化,不能够重复利用,而UVM正好可以提供验证平台的标准化,因此目前更多选择统一验证方法学(Universal Verification Methodology,UVM)作为验证平台。安全数字输入输出卡(Secure Digital Input and Output Card,SDIO)接口在消费电子产品中的应用极为广泛,特别是在为各类移动设备提供低能耗与高速度的数据存储及应用功能方面。本研究利用UVM验证平台,专注于系统芯片(System on Chip,SoC)芯片内SDIO接口的特定功能,开发并构建了一套适配被测设备(Device Under Test,DUT)的验证平台。该平台能够生成受限制的随机测试激励,并采用覆盖率作为衡量验证进展的标准。 As chips grow more powerful and harder to understand,verifying designs through simulator waveforms is becoming more challenging.To shorten and simplify the verification process,a standardized verification platform is essential.The Resistor Transistor Logic(RTL)code utilizes Verilog language,but the lack of standardization in verification impedes reuse.However,Universal Verification Methodology(UVM),offers standardization for verification platforms,making it a popular choice.The Secure Digital Input and Output Card(SDIO)interface is extensively used in consumer electronics,providing low-power and high-speed data storage and application functions for various mobile devices.This paper utilizes the UVM verification platform,tailored to the functional characteristics of SDIO interface in System on Chip(SoC).It describes the design and construction of a verification platform suitable for Device Under Test(DUT),along with the development of constrained random test stimuli,and evaluates the progress of verification through coverage rates.
作者 张静 张力元 苗佳旺 闫江 ZHANG Jing;ZHANG Liyuan;MIAO Jiawang;YAN Jiang(School of Information Science and Technology,North China University of Technology,Beijing 100144,China;MakeSens Intelligent Technology Co.,LTD,Beijing 100080,China)
出处 《北方工业大学学报》 2024年第3期46-53,共8页 Journal of North China University of Technology
基金 北京市教育委员会科学研究计划项目(KZ202210009014)
关键词 UVM SDIO接口 SV语言 UVM SDIO interface System Verilog
作者简介 通讯作者:张静,教授,E-mail:zhangjing@ncut.edu.cn。
  • 相关文献

参考文献5

二级参考文献21

  • 1李暾,郭阳,李思昆.基于断言的模拟矢量自动生成方法[J].软件学报,2004,15(10):1441-1450. 被引量:4
  • 2詹文法,马俊,张溯,许修兵.一种可重用的验证平台结构[J].微机发展,2005,15(3):127-129. 被引量:3
  • 3徐英伟,刘佳.SoC功能验证的特点和方法[J].微处理机,2006,27(2):11-13. 被引量:8
  • 4何伟,张多利,周萌,高明伦.SoC验证环境搭建方法的研究[J].中国集成电路,2006,15(8):22-26. 被引量:5
  • 5朱风举,刘元成,朱明程.基于IP复用的数字IC设计技术[M].北京:电子工业出版社,2003.
  • 6沈理.SoC/ASIC设计验证和测试方法学[M].广州:中山大学出版社,2003.
  • 7PANKAJ CHAUHAN, EDMUND M CLARKE, YUAN LU, et al. Verifying IP-Core Based System-on-Chip Designs [ EB/ OL]. (1999-09). IEEE International Conference on ASIC, SOC. 1999: 27-31. http: //www. synopsys, com.
  • 8MICHAEL KEATING, PIERRE BRICAUD. Reuse Methodology Manual for System on-a-Chip Designs [ M ]. 3rd ed. [ S. l. ] : Kluwer Academic Publishers, 2002.
  • 9ABHIK ROYCHOUDHURY, TULIKA MITRA, S R KARRI. Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol [ EB/OL]. (2003-03). Design, Automation, and Test Europe Conference, Munich, Germany, 2003: 10828- 10833. http: //www. synopsys, com.
  • 10Greeg D Lahti, Tim L Wilson. Designing Procedural-Based Behavioral Bus Functional Models for High Performance Verification, SNUG, 1999.

共引文献23

同被引文献14

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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