-
题名基于UVM的存储控制器功能验证
被引量:7
- 1
-
-
作者
曹阳
胡越黎
-
机构
上海大学微电子研究与开发中心
上海大学机电工程与自动化学院
-
出处
《计算机测量与控制》
2015年第3期834-837,共4页
-
基金
国家自然基金(61376028)
-
文摘
采用通用验证方法学(UVM)搭建验证平台,以AHB总线上挂载的存储控制器为验证对象,重点分析了UVM验证平台的设计;采用传统的定向验证方法将很难遍历到所有情况,而通过UVM验证平台能够产生受约束的随机激励信号,对存储控制器进行全面的验证,并能自动收集功能覆盖率和分析验证结果;验证结果表明,该验证平台能有效地查出设计缺陷,达到覆盖率要求,减少验证时间,提高验证效率,且具有良好的可配置性和可复用性。
-
关键词
UVM验证方法学
存储控制器
受约束的随机化激励
功能覆盖率
-
Keywords
UVM
memory controller
constrainted random stimuli
functional coverage
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名采用UVM的数字抽取滤波器的验证
被引量:2
- 2
-
-
作者
骆丽
程成
-
机构
北京交通大学电子信息工程学院
-
出处
《北京交通大学学报》
CAS
CSCD
北大核心
2014年第2期24-28,共5页
-
基金
国家自然科学基金资助项目(60976024)
-
文摘
采用通用验证方法学(UVM)搭建验证平台,以Sigma_Delta A/D转换器中的数字抽取滤波器为验证对象,重点分析UVM验证平台的设计方法.利用该UVM验证平台,产生随机化的测试向量,对数字抽取滤波器模块进行全面的验证,最终达到覆盖率要求.通过与传统定向测试平台的验证结果对比,可以得出使用通用验证方法学的验证效率与验证能力更高.
-
关键词
数字抽取滤波器
通用验证方法学
覆盖率
受约束的随机化激励
-
Keywords
digital decimation filter
universal verification methodology (UVM)
coverage
constrainedrandom stimulus
-
分类号
TN492
[电子电信—微电子学与固体电子学]
-