随着数字信息技术的发展,SDHost控制器的应用逐渐广泛。本文对SDHost控制器的相关功能进行验证,基于UVM验证方法学搭建完整的验证平台,通过直接测试和大量的随机测试案例以及Makefile脚本自动化编译,完成代码覆盖率以及功能覆盖率的统计,最终代码覆盖率和功能覆盖率均满足要求。UVM验证平台以及自动化脚本的使用提升了验证效率,对验证流程做了简化,同时保证了验证的完备性。
Abstract
With the development of the digital information age,SDHost controller is widely used in many produces gradually,the functional verification of SDHost controller is introduced.Based on UVM(Universal Verification Methodology),the complete verification platform for SDHost verification is built.By direct test and many of random test case,and Makefile script automatic compile,collection RTL coverage and function coverage,eventually both RTL coverage and function coverage meet the requirements.Actually,using these tools enhances efficiency of verification and simplifies verification process,ensures completeness of the verification.
关键词
通用验证方法学 /
SDHost /
功能覆盖率
Key words
UVM /
SDHost /
function coverage
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
参考文献
[1] 张强.UVM实战卷Ⅰ[M].北京:机械工业出版社,2014.
[2] 牛玉坤,孟令琴.基于 UVM 实现 SD 存储控制器的功能验证[J].工业控制计算机,2017,30(8):20-22.
[3] 赖琳晖.基于覆盖率驱动的SD-HOST的UVM验证[J].集成电路应用,2019,36(9):25-27.
[4] Dawei Wang,Jiang Yan,Ying Qiao.Research on Chip Verification Technology Base on UVM[J].International Symposium on Computer and Information Processing Technology(ISCIPT),2021.
[5] 何丹,李树国.SD存储卡接口SPI模式的FPGA实现[A].微电子学,1004-3365(2013)02-0206-04.
[6] 张锋,潘冀宁,朱振荣.基于SPI模式的Micro SD卡驱动设计与验证[A].通信设计与应用,1006-4222(2017)12-0003-02.
[7] SD Specifications Version 2.0,2006.
[8] Jie Wang,Shuqin Geng,Xiaohong Peng,et al.DMA Function Verification Based on UVM Verification Platform[C]//2021 The 6th International Conference on Integrated Circuits and Microsystems,978-1-6654-5886-3.
[9] 马俊.基于APB总线的SD存储卡主控制器的设计与验证[D].上海:上海交通大学,2007.
[10] Goel A,Sundari B,Mathew S.UVM based Controller Area Network Verification IP (VIP)[C]//2020 International Conference on Smart Electronics and Communication (ICOSEC),2020.
PDF(1383 KB)
