-
题名一种基于功能覆盖率的验证环境的构建方法
被引量：3
- 1
-
-
作者
迟志刚
高德远
樊晓桠
靳战鹏
-
机构
西北工业大学航空微电子中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第5期88-90,96,共4页
-
基金
国家部委预研资助项目
-
文摘
首先介绍了功能覆盖率和层次化Testbench,然后将两者结合起来介绍了一种基于功能覆盖率的验证环境的构建方法。论文结合作者设计的“龙腾R2”总线接口单元的验证平台,对这一方法作了详细的介绍。通过与“龙腾R1”总线接口单元的验证方法比较显示,笔者搭建的验证平台的验证时间缩短25%。
-
关键词
功能点
功能覆盖率
验证环境
Testbench
总线接口
-
Keywords
functional point, functional coverage, verification environment, testbench, bus interface
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名基于UVM的功能覆盖率驱动SDIO IP验证
被引量：5
- 2
-
-
作者
倪伟
王笑天
-
机构
合肥工业大学微电子设计研究所
-
出处
《微电子学》
CSCD
北大核心
2017年第3期392-395,411,共5页
-
基金
国家自然科学基金资助项目(61204024)
-
文摘
在研究SDIO接口协议的基础上,采用以功能覆盖率驱动的验证方法和UVM验证方法学,构建了一个完整的SDIO IP验证平台。在自测试仿真实验中,通过各种测试用例,最终实现了功能覆盖率的收敛。仿真结果表明,该平台可以用于验证复杂的SDIO接口协议,且具有可复用性,可用于SoC系统的验证,缩短验证流程。
-
关键词
SDIO
UVM
功能覆盖率
验证
-
Keywords
SDIO
UVM
functional coverage
verification
-
分类号
TN47
[电子电信—微电子学与固体电子学]
-
-
题名基于VMM统一验证平台的Serdes芯片验证
被引量：2
- 3
-
-
作者
张杰
孙立宏
-
机构
中国电子科技集团公司第三十八研究所集成电路设计中心
-
出处
《中国集成电路》
2012年第4期43-47,共5页
-
文摘
本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的VMM统一验证平台,并从测试激励产生、寄存器读写控制、覆盖率自动统计、断言验证及覆盖率收敛等几个方面详细阐述了Serdes芯片的验证过程。最后给出了验证结果和测试报告。
-
关键词
SERDES
VMM
断言验证
功能覆盖率验证
-
Keywords
Serdes（Serial ＆ Deserial）
VMM
verification of assertion
functional coverage verification
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
-
题名RVM随机验证中的三个关键点及其应用
- 4
-
-
作者
赵卫杰
郑建宏
-
机构
重庆邮电大学重邮信科集团股份有限公司
-
出处
《电子测试》
2008年第2期85-89,共5页
-
文摘
本文首先分析了传统验证方法的不足和使用RVM随机验证的原因,指出了RVM随机验证的3个关键点,接着介绍了RVM随机验证方法学的主要特征和一些重要术语,以及RVM验证方法学中层次化验证的结构。最后,结合UART(通用异步收发报机)实例,对3个关键点进行了详细的阐述。本文主要介绍了在搭建高效验证平台时,需要认真分析和详细设计的3个关键点,平台搭建方法是RVM参考验证方法学。通过本文的论述,在进行芯片验证时,只要设计好了这3个关键点就可以保证验证的快速和高效。
-
关键词
RVM
测试平台
功能覆盖
随机验证
断言
-
Keywords
RVM
test bench
functional coverage
random verification
assertion
-
分类号
TN402
[电子电信—微电子学与固体电子学]
-
-
题名纯SV语言搭建验证平台
被引量：2
- 5
-
-
作者
张静
卜刚
-
机构
南京航空航天大学电子信息工程学院
-
出处
《计算机技术与发展》
2020年第4期52-56,共5页
-
基金
江苏省自然科学基金(BK2012792)。
-
文摘
面对日益复杂的芯片系统设计和IP的高度集成方式,验证的重要性日益增加。传统的验证主要依赖于直接测试,虽然直接测试平台也可以采用有限的随机方式,但是通常是通过产生随机数的方式来实现的,而不是在每个数据单元简单地写入预先设定的值。直接测试方法适合于小设计,但一个典型SoC设计需要上千个测试用例,耗时太长。因此提升验证产量的唯一方法是减少产生测试所消耗时间。基于SystemVerilog具有丰富语言能力、能描述复杂验证环境、产生带约束的随机激励、面向对象编程、功能覆盖率统计等诸多优点,因此可以采用SystemVerilog语言功能构建一个验证平台。搭建验证环境时,可以应用带约束随机激励产生方法以及覆盖率驱动来提高验证效率,缩短验证周期,平台在queastasim上进行了仿真验证,并取得了比较好的结果。
-
关键词
SYSTEMVERILOG
SOC
随机激励
功能覆盖率
验证
-
Keywords
SystemVerilog
SoC
random excitation
functional coverage
verification
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于VMM统一验证平台的处理器芯片功能验证
被引量：1
- 6
-
-
作者
孙立宏
洪一
-
机构
华东电子工程研究所
-
出处
《火控雷达技术》
2010年第1期45-48,共4页
-
基金
国家863计划项目(2009AA7010420)
-
文摘
本文结合处理器芯片实际项目,重点介绍了功能验证环节的工作。文章基于VMM验证平台,利用System Verilog语言自动生成测试激励,采用断言和功能覆盖率相结合的验证方法,实时监测RTL模型运行时的各种信号,自动进行覆盖率统计,通过增加约束实现覆盖率的快速收敛。文章最终给出了基于VMM验证平台进行功能验证的结果,绘制了功能覆盖率上升曲线。
-
关键词
VMM
SYSTEM
VERILOG
断言验证
功能覆盖率验证
-
Keywords
VMM
System Verilog
verification of assertion
functional coverage verification
-
分类号
TP274
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名使用支持向量机的微处理器验证向量优化方法
被引量：1
- 7
-
-
作者
王朋宇
郭崎
沈海华
陈云霁
张珩
-
机构
中国科学院计算技术研究所计算机系统结构重点实验室
中国科学院研究生院
-
出处
《高技术通讯》
EI
CAS
CSCD
北大核心
2010年第1期68-74,共7页
-
基金
国家自然科学基金(60603049,60673146)
863计划(2007AA01Z112,2008AA110901)
+1 种基金
973计划(2005CB321600)
北京市自然科学基金(4072024)资助项目
-
文摘
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
-
关键词
支持向量机(SVM)
功能覆盖率模型
微处理器验证
仿真验证
验证向量优化
-
Keywords
support vector machine （SVM）, functional coverage model, microprocessor verification, simulation verification, simulation vector optimization
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
-
-
题名功能覆盖率驱动的TAU/MVBC模块验证
- 8
-
-
作者
姚爱红
吴剑
张智钧
-
机构
哈尔滨工程大学计算机科学与技术学院
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第4期1352-1355,共4页
-
基金
中央高校基本科研业务费专项资金资助项目(HEUCF100606)
-
文摘
基于验证方法学,使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境,利用功能覆盖率结果对随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求。结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效地提高了验证效率。
-
关键词
功能覆盖率
验证方法学
报文分析单元
SYSTEMVERILOG
-
Keywords
functional coverage
verification methodology manual
telegram analysis unit
SystemVerilog
-
分类号
TP306.2
[自动化与计算机技术—计算机系统结构]
-
-
题名基于属性的形式验证技术及应用
被引量：1
- 9
-
-
作者
游余新
-
机构
明导(上海)电子科技有限公司
-
出处
《中国集成电路》
2013年第12期31-36,50,共7页
-
文摘
为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳。传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对corner case进行快速验证,有效避免了一些设计缺陷。Mentor公司的Questa Formal工具可以对代码进行常规的功能检查,并可用Formal引擎证明设计代码及其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
-
关键词
功能覆盖率
静态验证技术
FORMAL
断言
-
Keywords
function coverage
Static verification technology
Formal
Assertion
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
