针对可观测性语句覆盖准则的RTL激励生成 被引量：2

1

作者 鲁巍 吕涛 +1 位作者 杨修涛 李晓维 《计算机研究与发展》 EI CSCD 北大核心 2005年第12期2169-2175,共7页

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观... 传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的· 展开更多

关键词 可观测性语句覆盖准则 激励生成 模拟

在线阅读 下载PDF 职称材料

基于混合遗传算法的RTL激励生成 被引量：1

2

作者 鲁巍 杨修涛 李晓维 《小型微型计算机系统》 CSCD 北大核心 2006年第1期80-84,共5页

寄存器传输级(RTL)描述是目前应用最广泛的电路设计描述形式.在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量过多,质量不高等问题.本文充分考虑影响算法效率的各种因素,在此基础上,提... 寄存器传输级(RTL)描述是目前应用最广泛的电路设计描述形式.在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量过多,质量不高等问题.本文充分考虑影响算法效率的各种因素,在此基础上,提出一种基于混合遗传算法的激励生成方法.该方法结合多种覆盖评估准则与故障模型作为激励生成目标,同时采用动态参数设置,实现全局—局域混合搜索机制.实验结果显示该方法是有效的. 展开更多

关键词 混合遗传算法 激励生成 模拟

在线阅读 下载PDF 职称材料

基于路径约束求解的多目标状态激励生成方法 被引量：3

3

作者 周艳红 王天成 +2 位作者 李华伟 吕涛 李晓维 《计算机学报》 EI CSCD 北大核心 2016年第9期1829-1842,共14页

该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态... 该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一条能同时覆盖多个目标状态的状态序列.此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,该文方法能够有效地同时验证设计中的多个目标状态. 展开更多

关键词 激励生成 难达状态 抽象引导模拟 路径约束求解

在线阅读 下载PDF 职称材料

基于模型和库的处理器伪随机激励生成器设计与实现 被引量：1

4

作者 巨鹏锦 张晓冬 李辉 《计算机工程与科学》 CSCD 北大核心 2018年第1期1-9,共9页

面对处理器巨大的验证空间,伪随机激励生成器成为处理器研发中必不可少的工具。处理器设计改变尤其是架构和指令集的变化会导致之前的处理器测试集合部分甚至全部失效,验证维护成本巨大。提出一种层次化的、基于模型和库的处理器伪随机... 面对处理器巨大的验证空间,伪随机激励生成器成为处理器研发中必不可少的工具。处理器设计改变尤其是架构和指令集的变化会导致之前的处理器测试集合部分甚至全部失效,验证维护成本巨大。提出一种层次化的、基于模型和库的处理器伪随机激励生成器实现方法,针对处理器设计的特点,基于指令树建模、多维访存地址建模和处理器专家库建模等关键技术重点解决处理器研发中测试集合如何高效重用的难题。实际应用表明,该方法能够很好地适应处理器设计变化,增强处理器激励生成器的易用性和可重用性,测试集合移植重用率可以达到95%以上,显著缩短处理器更新换代时的验证周期。 展开更多

关键词 模拟验证 处理器功能验证 伪随机测试 激励生成器

在线阅读 下载PDF 职称材料

面向总线系统的高层次结构化激励生成算法

5

作者 程开丰 罗汉青 梁利平 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第4期148-154,160,共8页

为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次... 为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%. 展开更多

关键词 总线系统 有向二分图模型 等价类划分 高层次功能覆盖率模型 结构化激励生成

在线阅读 下载PDF 职称材料

Cache一致性验证的结构化激励生成算法

6

作者 程开丰 罗汉青 梁利平 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第10期108-114,共7页

为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图... 为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%. 展开更多

关键词 CACHE一致性 有向二分图模型 等价类划分 高层次功能覆盖率模型 结构化激励生成

在线阅读 下载PDF 职称材料

基于虚拟SoC平台的IP正交激励验证方法 被引量：2

7

作者 殷燎 黄凯 +3 位作者 张欣 孟建熠 葛海通 严晓浪 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第8期1399-1405,共7页

针对传统的IP验证方法中模块级验证平台与激励发生机制效率较低且难以重用的问题,提出一种基于虚拟SoC平台的正交激励验证方法,以优化IP验证流程.通过高层抽象建模,对传统IP验证平台进行扩展,构建包括系统级功能模型与外设行为模型在内... 针对传统的IP验证方法中模块级验证平台与激励发生机制效率较低且难以重用的问题,提出一种基于虚拟SoC平台的正交激励验证方法,以优化IP验证流程.通过高层抽象建模,对传统IP验证平台进行扩展,构建包括系统级功能模型与外设行为模型在内的IP验证虚拟SoC平台;基于此平台提出通信与计算分离的正交化激励映射,并分别优化IP通信接口与逻辑功能验证用例生成流程.多个IP的功能验证实例结果表明,该方法可显著地提高IP验证重用性与验证效率,降低验证复杂度. 展开更多

关键词 IP功能验证 SoC仿真平台 正交分类 验证激励生成

在线阅读 下载PDF 职称材料

处理器验证激励在线筛选技术

8

作者 郭崎 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第5期690-698,共9页

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的... 如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间. 展开更多

关键词 功能验证 激励生成 在线学习 功能覆盖率 核函数

在线阅读 下载PDF 职称材料

分类树在分组密码IP验证中的应用与改进

9

作者 李森森 徐金甫 《小型微型计算机系统》 CSCD 北大核心 2014年第8期1812-1815,共4页

分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和覆盖率模型抽象占据着尤为重要的位置.本文将分类树方法应用于分组密码IP的功能验证,并且针对其无法解决... 分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和覆盖率模型抽象占据着尤为重要的位置.本文将分类树方法应用于分组密码IP的功能验证,并且针对其无法解决关联操作和顺序控制的缺点实施改进,主要是引入虚拟输入对激励序列进行规划,构建超长输入数据包.实验证明,采用改进的分类树指导激励生成和覆盖率模型抽象,能够生成更加精简有效的激励和完备的覆盖率模型,进而显著地提高验证的效率和完备性. 展开更多

关键词 分组密码 功能验证 虚拟输入 改进分类树 激励生成 功能覆盖模型

在线阅读 下载PDF 职称材料

PCIE协议栈模拟验证平台的设计和实现 被引量：3

10

作者 张良 王天成 +2 位作者 王健 李华伟 郭建 《计算机工程》 CAS CSCD 北大核心 2015年第6期287-293,共7页

Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求,基于PCIE的设计得以蓬勃发展,对PCIE的验证也成为So C功能验证的重要组成部分。为此,设计并实现一种状态图和覆盖率组合驱动的自动化验证平台,... Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求,基于PCIE的设计得以蓬勃发展,对PCIE的验证也成为So C功能验证的重要组成部分。为此,设计并实现一种状态图和覆盖率组合驱动的自动化验证平台,主要包括激励生成、自动检测和覆盖率分析机制,并将其应用于一款基于PCIE接口的协议栈芯片的功能验证。实验结果表明,该验证平台具有较好的激励生成机制,能够对协议栈芯片进行全面验证,同时具有较好的复用性、可扩展性,可以对多个协议栈的互连进行验证。 展开更多

关键词 功能验证 PCIE协议栈 协议栈验证 功能覆盖率 约束随机模拟 激励生成

在线阅读 下载PDF 职称材料

结合ATPG和SAT的无界模型检验前像计算方法 被引量：2

11

作者 刘领一 赵阳 +2 位作者 吕涛 李华伟 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第3期376-380,共5页

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后... 提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性. 展开更多

关键词 形式验证 无界模型检验 前像计算 自动化测试激励生成 布尔可满足性问题

在线阅读 下载PDF 职称材料

一种带偏置的基于相关性分析的Cache一致性协议验证方法

12

作者 夏竟 徐炜遐 +1 位作者 张俊 庞征斌 《计算机工程与科学》 CSCD 北大核心 2009年第A01期55-58,共4页

Cache一致性协议作为CC-NUMA系统的硬件基础,在CC-NUMA系统的设计过程中占有举足轻重的地位。对于复杂的CC-NUMA系统,由于其Cache一致性协议十分复杂,通常难以进行形式化验证,而常规的伪随机模拟又存在验证效率低下的问题。本文提出了... Cache一致性协议作为CC-NUMA系统的硬件基础,在CC-NUMA系统的设计过程中占有举足轻重的地位。对于复杂的CC-NUMA系统,由于其Cache一致性协议十分复杂,通常难以进行形式化验证,而常规的伪随机模拟又存在验证效率低下的问题。本文提出了一种对复杂CC-NUMA系统中Cache一致性协议进行模拟验证的方法。该方法通过对验证覆盖目标进行相关性分析,使用偏置技术对传统伪随机模拟验证方法进行了改进。实际验证结果表明,改进后的方法使得模拟验证覆盖率的增长速率有了明显提高。 展开更多

关键词 功能验证 测试激励自动生成 CACHE一致性协议

在线阅读 下载PDF 职称材料