-
题名FPGA功能验证自动化技术研究与实践
被引量：3
- 1
-
-
作者
朱伟杰
阳徽
费亚男
李洋
王昶
-
机构
北京航天自动控制研究所
-
出处
《航天控制》
CSCD
北大核心
2017年第2期72-77,98,共7页
-
文摘
深入分析了影响FPGA功能验证效率和质量的各项因素,改进了传统FPGA软件验证平台的搭建方法,阐述了FPGA软件自动化验证平台搭建技术、基于Perl语言的Testbench自动生成技术、受约束的随机激励生成技术、接口时序自动侦错技术、SVA断言以及基于VBA宏的管脚配置自动检查技术等6种改进策略。这些自动化技术将功能验证中程式化和标准化的工作交由工具完成,提高了验证平台搭建和仿真结果检查的效率。
-
关键词
功能验证
自动侦错
自动化验证平台
受约束的随机激励
-
Keywords
Function verification
Error detecting
Automatic verification platform
Constrained random test stimulus
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UVM的存储控制器功能验证
被引量：7
- 2
-
-
作者
曹阳
胡越黎
-
机构
上海大学微电子研究与开发中心
上海大学机电工程与自动化学院
-
出处
《计算机测量与控制》
2015年第3期834-837,共4页
-
基金
国家自然基金(61376028)
-
文摘
采用通用验证方法学(UVM)搭建验证平台,以AHB总线上挂载的存储控制器为验证对象,重点分析了UVM验证平台的设计;采用传统的定向验证方法将很难遍历到所有情况,而通过UVM验证平台能够产生受约束的随机激励信号,对存储控制器进行全面的验证,并能自动收集功能覆盖率和分析验证结果;验证结果表明,该验证平台能有效地查出设计缺陷,达到覆盖率要求,减少验证时间,提高验证效率,且具有良好的可配置性和可复用性。
-
关键词
UVM验证方法学
存储控制器
受约束的随机化激励
功能覆盖率
-
Keywords
UVM
memory controller
constrainted random stimuli
functional coverage
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名采用UVM的数字抽取滤波器的验证
被引量：2
- 3
-
-
作者
骆丽
程成
-
机构
北京交通大学电子信息工程学院
-
出处
《北京交通大学学报》
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
[电子电信—微电子学与固体电子学]
-
