检索结果-维普期刊中文期刊服务平台

分类树在分组密码IP验证中的应用与改进: 1; 作者李森森徐金甫《小型微型计算机系统》 CSCD 北大核心 2014年第8期1812-1815,共4页; 分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和覆盖率模型抽象占据着尤为重要的位置.本文将分类树方法应用于分组密码IP的功能验证,并且针对其无法解决... 展开更多; 关键词分组密码功能验证虚拟输入改进分类树激励生成功能覆盖模型; 在线阅读下载PDF 职称材料

使用支持向量机的微处理器验证向量优化方法被引量：1: 2; 作者王朋宇郭崎 +2 位作者沈海华陈云霁张珩《高技术通讯》 EI CAS CSCD 北大核心 2010年第1期68-74,共7页; 为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。... 展开更多; 关键词支持向量机(SVM) 功能覆盖率模型微处理器验证仿真验证验证向量优化; 在线阅读下载PDF 职称材料

面向总线系统的高层次结构化激励生成算法: 3; 作者程开丰罗汉青梁利平《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第4期148-154,160,共8页; 为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次... 展开更多; 关键词总线系统有向二分图模型等价类划分高层次功能覆盖率模型结构化激励生成; 在线阅读下载PDF 职称材料

Cache一致性验证的结构化激励生成算法: 4; 作者程开丰罗汉青梁利平《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第10期108-114,共7页; 为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图... 展开更多; 关键词 CACHE一致性有向二分图模型等价类划分高层次功能覆盖率模型结构化激励生成; 在线阅读下载PDF 职称材料

题名分类树在分组密码IP验证中的应用与改进: 1; 作者李森森徐金甫; 机构解放军信息工程大学; 出处《小型微型计算机系统》 CSCD 北大核心 2014年第8期1812-1815,共4页; 文摘分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和覆盖率模型抽象占据着尤为重要的位置.本文将分类树方法应用于分组密码IP的功能验证,并且针对其无法解决关联操作和顺序控制的缺点实施改进,主要是引入虚拟输入对激励序列进行规划,构建超长输入数据包.实验证明,采用改进的分类树指导激励生成和覆盖率模型抽象,能够生成更加精简有效的激励和完备的覆盖率模型,进而显著地提高验证的效率和完备性.; 关键词分组密码功能验证虚拟输入改进分类树激励生成功能覆盖模型; Keywords block cipher functional verification virtual input improved classification tree stimulus generation coverage model; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名使用支持向量机的微处理器验证向量优化方法被引量：1: 2; 作者王朋宇郭崎沈海华陈云霁张珩; 机构中国科学院计算技术研究所计算机系统结构重点实验室中国科学院研究生院; 出处《高技术通讯》 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 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向总线系统的高层次结构化激励生成算法: 3; 作者程开丰罗汉青梁利平; 机构中国科学院大学微电子研究所; 出处《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第4期148-154,160,共8页; 基金国家科技重大专项项目(2013ZX03003015)~~; 文摘为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.; 关键词总线系统有向二分图模型等价类划分高层次功能覆盖率模型结构化激励生成; Keywords bus system directed bipartite graph model equivalence partition high level functional coverage model structural stimuli generation; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Cache一致性验证的结构化激励生成算法: 4; 作者程开丰罗汉青梁利平; 机构中国科学院大学中国科学院微电子研究所嵌入式与多核DSP实验室; 出处《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第10期108-114,共7页; 基金新一代宽带无线移动通信网国家科技重大专项(2013ZX03003015)。; 文摘为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.; 关键词 CACHE一致性有向二分图模型等价类划分高层次功能覆盖率模型结构化激励生成; Keywords Cache coherence directed bipartite graph model equivalence partition high level functional coverage model structural stimuli generation; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	分类树在分组密码IP验证中的应用与改进	李森森徐金甫	《小型微型计算机系统》 CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料
2	使用支持向量机的微处理器验证向量优化方法	王朋宇郭崎沈海华陈云霁张珩	《高技术通讯》 EI CAS CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
3	面向总线系统的高层次结构化激励生成算法	程开丰罗汉青梁利平	《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料
4	Cache一致性验证的结构化激励生成算法	程开丰罗汉青梁利平	《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料