基于UVM的仿真用例集约简技术研究
发布时间：2021-11-07 06:37
随着各种新型技术如人工智能,5G通信,图像处理等的发展,各应用场景中对底层的芯片技术的要求越来越高,电路的设计也变得越来越复杂。芯片的开发速度和成本是项目中的关键因素。在整个芯片项目中,回归测试是一项反复进行需要耗费大量资源的工作,用例集会被反复执行用于确保设计的的正确性,会造成很大的测试运行代价。在保证测试完备性基础上提高效率优化用例集是当前的研究热点之一。其中,主流的技术有测试用例集约简,测试用例排序,测试用例选择。本文对用例集约简技术进行研究,主要工作如下:本文基于实际的项目,设计实现了基于UVM的仿真验证平台。为保证功能覆盖点全部覆盖,先制定用例计划,然后以验证语言实现了用例,形成完整的用例集,用以后续实验。本文通过分析调研有关用例集的约简优化技术,并结合其特性,把该优化问题建模为集合覆盖模型,提出用于求解问题的Memetic算法。算法中设计了遗传算法和差分算法混合的全局搜索策略以加强全局搜索能力,并对其中各个算子进行改进,以禁忌搜索算法为基础设计适合的局部搜索策略,避免陷入局部收敛。然后设计适应度函数用于评估个体,对初始化种群中的不可行解利用贪心策略进行修正。然后对用例集仿真...
【文章来源】：浙江大学浙江省 211工程院校 985工程院校 教育部直属院校
【文章页数】：81 页
【学位级别】：硕士
【部分图文】：
013-2017集成电路行业增长图
浙江大学硕士学位论文绪论3前端设计行为级设计规范制定系统级设计行为级设计RTL设计规范解析和检验系统级功能验证行为级功能验证RTL级功能验证时序验证时序验证/物理验证芯片测试版图设计功能验证时序验证物理验证逻辑综合版图设计流片封装后端设计图1.2数字芯片设计基本流程图1.3芯片首次流片失败原因
浙江大学硕士学位论文基于UVM的验证平台设计实现41验证平台是根据需要验证的项目来设计完成的，此处采用例化两份DUT的方式，分别作为主机从机部分验证协议的传输正确性，平台具体实现介绍如下。4.3.1事务基类定义Transaction是一个平台数据交互的基础，是最基本的数据单元，如同在各个城市间来回运输的车辆，以前的传统平台都是基于信号传递的，在UVM方法学中，把通用的一类数据参数封装成一个包的形式，在用例中进行不同配置，形成不同包发送到平台在各个组件间进行交互。Transacion是继承自UVM_sequence_item的一个类，通过UVM_object_utils宏来注册各个参数，以便于能够运用factory机制的方法。它是有生命周期的，在仿真某一时间开始，经过sequencer驱动到driver再经过scoreboard比较等一系列处理后就结束生命周期了。本文中用到的transaction设计如下所示，包含读写操作，地址，数据长度等信息。（1）通过继承定义transaction类并定义所要用到的参数如图4.4所示图4.4参数定义（2）对定义的参数用field-automation宏机制注册如图4.5所示图4.5field-automation宏机制注册
【参考文献】：
期刊论文
[1]约束优化进化算法综述[J]. 李智勇,黄滔,陈少淼,李仁发. 软件学报. 2017(06)
[2]采用UVM方法学实现验证的可重用与自动化[J]. 徐金甫,李森森. 微电子学与计算机. 2014(11)
[3]一种基于Verilog的验证平台搭建及应用[J]. 刘星江,王慧. 信息安全与通信保密. 2013(01)
[4]覆盖表生成的遗传算法配置参数优化[J]. 梁亚澜,聂长海. 计算机学报. 2012(07)
[5]测试用例集约简方法综述[J]. 陈阳梅,丁晓明. 重庆工商大学学报(自然科学版). 2012(03)
[6]遗传算法中的交叉算子的述评[J]. 李书全,孙雪,孙德辉,边伟朋. 计算机工程与应用. 2012(01)
[7]基于SystemVerilog的SoC功能验证方法研究[J]. 程刚,蔡敏. 科学技术与工程. 2009(22)
[8]遗传算法研究综述[J]. 葛继科,邱玉辉,吴春明,蒲国林. 计算机应用研究. 2008(10)
[9]一种改进选择算子的遗传算法[J]. 陈有青,徐蔡星,钟文亮,张军. 计算机工程与应用. 2008(02)
[10]针对功能覆盖率的验证过程[J]. 徐伟俊,杨鑫,陈先勇,夏宇闻. 中国集成电路. 2007(07)
博士论文
[1]基于仿真的多核处理器功能验证技术研究[D]. 王树朋.浙江大学 2017
[2]约束优化算法的关键技术研究及应用[D]. 张磊.哈尔滨工程大学 2016
[3]基于仿真的系统芯片功能验证技术研究[D]. 罗春.东南大学 2006
硕士论文
[1]基于禁忌搜索的电动物流车循环取货路径规划[D]. 孟佳纯.大连理工大学 2019
[2]基于遗传算法的高效多工作流调度算法研究[D]. 赖淼.电子科技大学 2019
[3]适应性Memetic算法及其在求解离散约束优化问题中的研究[D]. 徐芳.中国科学技术大学 2018
[4]基于差分进化的智能优化算法研究[D]. 童旅杨.桂林理工大学 2018
[5]基于UVM的层次化验证平台研究[D]. 陈琳娜.浙江大学 2018
[6]基于不变量的回归测试用例集约简方法研究[D]. 李玉燕.南华大学 2017
[7]基于UVM验证平台的回归测试集生成和最小化研究[D]. 邓秋辉.浙江大学 2017
[8]Memetic算法及其应用[D]. 黄文华.江西师范大学 2016
[9]迭代禁忌搜索算法求解最小连通支配集问题[D]. 万欣.华中科技大学 2016
[10]基于UVM的RapidIO交换机芯片验证平台设计[D]. 潘颜玲.东南大学 2016
本文编号：3481359
【文章来源】：浙江大学浙江省 211工程院校 985工程院校 教育部直属院校
【文章页数】：81 页
【学位级别】：硕士
【部分图文】：
013-2017集成电路行业增长图
浙江大学硕士学位论文绪论3前端设计行为级设计规范制定系统级设计行为级设计RTL设计规范解析和检验系统级功能验证行为级功能验证RTL级功能验证时序验证时序验证/物理验证芯片测试版图设计功能验证时序验证物理验证逻辑综合版图设计流片封装后端设计图1.2数字芯片设计基本流程图1.3芯片首次流片失败原因
浙江大学硕士学位论文基于UVM的验证平台设计实现41验证平台是根据需要验证的项目来设计完成的，此处采用例化两份DUT的方式，分别作为主机从机部分验证协议的传输正确性，平台具体实现介绍如下。4.3.1事务基类定义Transaction是一个平台数据交互的基础，是最基本的数据单元，如同在各个城市间来回运输的车辆，以前的传统平台都是基于信号传递的，在UVM方法学中，把通用的一类数据参数封装成一个包的形式，在用例中进行不同配置，形成不同包发送到平台在各个组件间进行交互。Transacion是继承自UVM_sequence_item的一个类，通过UVM_object_utils宏来注册各个参数，以便于能够运用factory机制的方法。它是有生命周期的，在仿真某一时间开始，经过sequencer驱动到driver再经过scoreboard比较等一系列处理后就结束生命周期了。本文中用到的transaction设计如下所示，包含读写操作，地址，数据长度等信息。（1）通过继承定义transaction类并定义所要用到的参数如图4.4所示图4.4参数定义（2）对定义的参数用field-automation宏机制注册如图4.5所示图4.5field-automation宏机制注册
【参考文献】：
期刊论文
[1]约束优化进化算法综述[J]. 李智勇,黄滔,陈少淼,李仁发. 软件学报. 2017(06)
[2]采用UVM方法学实现验证的可重用与自动化[J]. 徐金甫,李森森. 微电子学与计算机. 2014(11)
[3]一种基于Verilog的验证平台搭建及应用[J]. 刘星江,王慧. 信息安全与通信保密. 2013(01)
[4]覆盖表生成的遗传算法配置参数优化[J]. 梁亚澜,聂长海. 计算机学报. 2012(07)
[5]测试用例集约简方法综述[J]. 陈阳梅,丁晓明. 重庆工商大学学报(自然科学版). 2012(03)
[6]遗传算法中的交叉算子的述评[J]. 李书全,孙雪,孙德辉,边伟朋. 计算机工程与应用. 2012(01)
[7]基于SystemVerilog的SoC功能验证方法研究[J]. 程刚,蔡敏. 科学技术与工程. 2009(22)
[8]遗传算法研究综述[J]. 葛继科,邱玉辉,吴春明,蒲国林. 计算机应用研究. 2008(10)
[9]一种改进选择算子的遗传算法[J]. 陈有青,徐蔡星,钟文亮,张军. 计算机工程与应用. 2008(02)
[10]针对功能覆盖率的验证过程[J]. 徐伟俊,杨鑫,陈先勇,夏宇闻. 中国集成电路. 2007(07)
博士论文
[1]基于仿真的多核处理器功能验证技术研究[D]. 王树朋.浙江大学 2017
[2]约束优化算法的关键技术研究及应用[D]. 张磊.哈尔滨工程大学 2016
[3]基于仿真的系统芯片功能验证技术研究[D]. 罗春.东南大学 2006
硕士论文
[1]基于禁忌搜索的电动物流车循环取货路径规划[D]. 孟佳纯.大连理工大学 2019
[2]基于遗传算法的高效多工作流调度算法研究[D]. 赖淼.电子科技大学 2019
[3]适应性Memetic算法及其在求解离散约束优化问题中的研究[D]. 徐芳.中国科学技术大学 2018
[4]基于差分进化的智能优化算法研究[D]. 童旅杨.桂林理工大学 2018
[5]基于UVM的层次化验证平台研究[D]. 陈琳娜.浙江大学 2018
[6]基于不变量的回归测试用例集约简方法研究[D]. 李玉燕.南华大学 2017
[7]基于UVM验证平台的回归测试集生成和最小化研究[D]. 邓秋辉.浙江大学 2017
[8]Memetic算法及其应用[D]. 黄文华.江西师范大学 2016
[9]迭代禁忌搜索算法求解最小连通支配集问题[D]. 万欣.华中科技大学 2016
[10]基于UVM的RapidIO交换机芯片验证平台设计[D]. 潘颜玲.东南大学 2016
本文编号：3481359
本文链接：https://www.wllwen.com/kejilunwen/sousuoyinqinglunwen/3481359.html
