[1]徐文进,田泽,王世中,等. 一种基于UVM加快功能验证收敛的方法[J].计算机技术与发展,2016,26(06):111-114.
　XU Wen-jin,TIAN Ze,WANG Shi-zhong,et al. A Method of Speeding up Convergence Functional Verification Based on UVM[J].,2016,26(06):111-114.
点击复制

 一种基于UVM加快功能验证收敛的方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
26
期数:
2016年06期
页码:
111-114
栏目:
应用开发研究
出版日期:
2016-06-10

文章信息/Info

Title:
 A Method of Speeding up Convergence Functional Verification Based on UVM
文章编号:
1673-629X（2016)06-0111-04
作者:
 徐文进; 田泽; 王世中; 王宣明
 中航工业西安航空计算技术研究所 集成电路与微系统设计航空科技重点实验室
Author(s):
 XU Wen-jin; TIAN Ze; WANG Shi-zhong; WANG Xuan-ming
关键词:
 ; UVM; VM; 验证计划; 验证平台; 覆盖率
Keywords:
 ; UVM; VM; test plan; test bench; coverage
分类号:
TP39
文献标志码:
A
摘要:
 功能验证是IC设计最重要的步骤之一。随着设计复杂度的增加，定位缺陷成本也日益增加，许多设计验证团队将相当一部分精力放在高效验证过程开发上。文中以航电CNI系统主机接口模块功能验证为例，采用基于统一覆盖率验证管理技术、UVM验证技术、接口时序断言监控技术，分别从验证计划制定、平台搭建、验证管理与验证结果分析等方面，介绍一种新型的基于统一覆盖率加速功能验证收敛的闭环验证方法。结合UVM验证方法学和断言技术，详细论述构建一种高效率可重用、快速收敛的验证平台的过程。
Abstract:
 Functional verification is one of the most important steps in the IC design. With the increase of design complexity,the cost of locating defects is also raised. Many designers will be a great deal of efforts on the development of efficient verification. In this paper,a new type of closed-loop verification method based on uniform coverage is introduced,taking functional verification of the host interface module of CNI system as example,using authentication management technology based on uniform coverage,UVM verification technolo-gy,and monitoring interface timing assertions respectively from the verification plan,platform building,management and authentication results analysis,etc. The process of constructing an efficient,reusable and fast convergent verification platform is discussed in detail by combining UVM verification methodology and assertion technology.

相似文献/References:

[1]王世中,田泽,吴晓成,等.基于UVM实现时间同步电路的功能验证[J].计算机技术与发展,2013,(07):183.
　WANG Shi-zhong,TIAN Ze,WU Xiao-cheng,et al.Function Verification of Time Synchronization Circuit Based on UVM[J].,2013,(06):183.
[2]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(06):1.
[3]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(06):5.
[4]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(06):13.
[5]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(06):21.
[6]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(06):25.
[7]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(06):29.
[8]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(06):34.
[9]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(06):38.
[10]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(06):43.

更新日期/Last Update: 2016-09-22