期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
针对可观测性语句覆盖准则的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
基于Sigma-Delta调制技术的片内正弦激励生成方法
4
作者 彭智聪 陈岚 +1 位作者 冯燕 柳臻朝 《微电子学与计算机》 CSCD 北大核心 2015年第11期137-141,共5页
针对模拟混合信号ADC的内建自测试,研究了基于Sigma-Delta调制技术的片内正弦激励生成方法,着重对该方法软件部分的实现进行了阐述.通过设计Sigma-Delta调制器,并对输出的比特流特性进行分析,提出了满足信噪比要求的最短比特流长度选择... 针对模拟混合信号ADC的内建自测试,研究了基于Sigma-Delta调制技术的片内正弦激励生成方法,着重对该方法软件部分的实现进行了阐述.通过设计Sigma-Delta调制器,并对输出的比特流特性进行分析,提出了满足信噪比要求的最短比特流长度选择方法,以及在该长度下的比特流序列优化方法.以12位待测ADC为例,采用该方法生成了最优比特流序列,满足了信噪比的设计要求,验证了方法的可行性. 展开更多
关键词 内建自测试 正弦激励生成 比特流 Sigma-Detla调制 相干采样
下载PDF
基于模型和库的处理器伪随机激励生成器设计与实现 被引量:1
5
作者 巨鹏锦 张晓冬 李辉 《计算机工程与科学》 CSCD 北大核心 2018年第1期1-9,共9页
面对处理器巨大的验证空间,伪随机激励生成器成为处理器研发中必不可少的工具。处理器设计改变尤其是架构和指令集的变化会导致之前的处理器测试集合部分甚至全部失效,验证维护成本巨大。提出一种层次化的、基于模型和库的处理器伪随机... 面对处理器巨大的验证空间,伪随机激励生成器成为处理器研发中必不可少的工具。处理器设计改变尤其是架构和指令集的变化会导致之前的处理器测试集合部分甚至全部失效,验证维护成本巨大。提出一种层次化的、基于模型和库的处理器伪随机激励生成器实现方法,针对处理器设计的特点,基于指令树建模、多维访存地址建模和处理器专家库建模等关键技术重点解决处理器研发中测试集合如何高效重用的难题。实际应用表明,该方法能够很好地适应处理器设计变化,增强处理器激励生成器的易用性和可重用性,测试集合移植重用率可以达到95%以上,显著缩短处理器更新换代时的验证周期。 展开更多
关键词 模拟验证 处理器功能验证 伪随机测试 激励生成
下载PDF
面向总线系统的高层次结构化激励生成算法
6
作者 程开丰 罗汉青 梁利平 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2018年第4期148-154,160,共8页
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次... 为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%. 展开更多
关键词 总线系统 有向二分图模型 等价类划分 高层次功能覆盖率模型 结构化激励生成
下载PDF
Cache一致性验证的结构化激励生成算法
7
作者 程开丰 罗汉青 梁利平 《湖南大学学报(自然科学版)》 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
基于反向遍历组合单元BDD的延时参数激励波形自动生成算法 被引量:2
8
作者 罗小华 李训根 严晓浪 《电路与系统学报》 CSCD 北大核心 2006年第4期61-64,共4页
本文研究了深亚微米工艺条件下单元特征参数提取和建模的激励生成,提出了一种基于反向遍历组合单元BDD的延时参数激励波形生成算法。该算法通过分析组合单元延时参数激励波形的特征和单元BDD的特征,推导了组合单元延时激励波形的生成定... 本文研究了深亚微米工艺条件下单元特征参数提取和建模的激励生成,提出了一种基于反向遍历组合单元BDD的延时参数激励波形生成算法。该算法通过分析组合单元延时参数激励波形的特征和单元BDD的特征,推导了组合单元延时激励波形的生成定理,给出了基于该定理的组合单元延时激励波形生成算法。算法能快速完备地生成延时参数的激励波形,避免了复杂的布尔函数运算,提高了激励波形的生成效率。 展开更多
关键词 延时参数提取 BDD 激励波形生成
下载PDF
基于虚拟SoC平台的IP正交激励验证方法 被引量:2
9
作者 殷燎 黄凯 +3 位作者 张欣 孟建熠 葛海通 严晓浪 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第8期1399-1405,共7页
针对传统的IP验证方法中模块级验证平台与激励发生机制效率较低且难以重用的问题,提出一种基于虚拟SoC平台的正交激励验证方法,以优化IP验证流程.通过高层抽象建模,对传统IP验证平台进行扩展,构建包括系统级功能模型与外设行为模型在内... 针对传统的IP验证方法中模块级验证平台与激励发生机制效率较低且难以重用的问题,提出一种基于虚拟SoC平台的正交激励验证方法,以优化IP验证流程.通过高层抽象建模,对传统IP验证平台进行扩展,构建包括系统级功能模型与外设行为模型在内的IP验证虚拟SoC平台;基于此平台提出通信与计算分离的正交化激励映射,并分别优化IP通信接口与逻辑功能验证用例生成流程.多个IP的功能验证实例结果表明,该方法可显著地提高IP验证重用性与验证效率,降低验证复杂度. 展开更多
关键词 IP功能验证 SoC仿真平台 正交分类 验证激励生成
下载PDF
处理器验证激励在线筛选技术
10
作者 郭崎 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第5期690-698,共9页
如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的... 如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间. 展开更多
关键词 功能验证 激励生成 在线学习 功能覆盖率 核函数
下载PDF
分类树在分组密码IP验证中的应用与改进
11
作者 李森森 徐金甫 《小型微型计算机系统》 CSCD 北大核心 2014年第8期1812-1815,共4页
分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和覆盖率模型抽象占据着尤为重要的位置.本文将分类树方法应用于分组密码IP的功能验证,并且针对其无法解决... 分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和覆盖率模型抽象占据着尤为重要的位置.本文将分类树方法应用于分组密码IP的功能验证,并且针对其无法解决关联操作和顺序控制的缺点实施改进,主要是引入虚拟输入对激励序列进行规划,构建超长输入数据包.实验证明,采用改进的分类树指导激励生成和覆盖率模型抽象,能够生成更加精简有效的激励和完备的覆盖率模型,进而显著地提高验证的效率和完备性. 展开更多
关键词 分组密码 功能验证 虚拟输入 改进分类树 激励生成 功能覆盖模型
下载PDF
PCIE协议栈模拟验证平台的设计和实现 被引量:3
12
作者 张良 王天成 +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
13
作者 刘领一 赵阳 +2 位作者 吕涛 李华伟 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第3期376-380,共5页
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后... 提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性. 展开更多
关键词 形式验证 无界模型检验 前像计算 自动化测试激励生成 布尔可满足性问题
下载PDF
基于模拟的SoC功能验证研究 被引量:5
14
作者 姚爱红 孙盟哲 袁莉娜 《微电子学与计算机》 CSCD 北大核心 2013年第5期1-9,共9页
基于模拟的验证技术在SoC等复杂数字系统功能验证中一直占据统治地位.模拟激励产生的速度和质量是决定验证过程收敛速度的关键因素,覆盖率信息定量地表示了验证完成的程度.覆盖率导向的受约束随机激励生成技术提高了验证过程的效率和自... 基于模拟的验证技术在SoC等复杂数字系统功能验证中一直占据统治地位.模拟激励产生的速度和质量是决定验证过程收敛速度的关键因素,覆盖率信息定量地表示了验证完成的程度.覆盖率导向的受约束随机激励生成技术提高了验证过程的效率和自动化程度.按照是否需要待验证设计的内部结构信息,将受约束随机激励生成技术分为基于学习的激励生成和基于构造的激励生成两类并分别进行分析.对基于模拟的SoC功能验证涉及的其它关键技术如:约束定义、覆盖率分析及IP核及核间通信协议的功能验证等国内外研究现状进行了分析和总结,并对未来的发展趋势和研究方向进行了展望. 展开更多
关键词 功能验证 受约束随机模拟 激励生成 覆盖率 系统芯片
下载PDF
Integrated circuit for single channel neural signal regeneration 被引量:1
15
作者 李文渊 王志功 《Journal of Southeast University(English Edition)》 EI CAS 2008年第2期155-158,共4页
Based on the 4-channel neural signal regeneration system which is realized by using discrete devices and successfully used for in-vivo experiments on rats and rabbits, a single channel neural signal regeneration integ... Based on the 4-channel neural signal regeneration system which is realized by using discrete devices and successfully used for in-vivo experiments on rats and rabbits, a single channel neural signal regeneration integrated circuit (IC)is designed and realized in CSMC ' s 0. 6 μm CMOS ( complementary metal-oxide-semiconductor transistor ) technology. The IC consists of a neural signal detection circuit with an adjustable gain, a buffer, and a function electrical stimulation (FES) circuit. The neural signal regenerating IC occupies a die area of 1.42 mm × 1.34 mm. Under a dual supply voltage of ±2. 5 V, the DC power consumption is less than 10 mW. The on-wafer measurement results are as follows: the output resistor is 118 ml), the 3 dB bandwidth is greater than 30 kHz, and the gain can be variable from 50 to 90 dB. The circuit is used for in-vivo experiments on the rat' s sciatic nerve as well as on the spinal cord with the cuff type electrode array and the twin-needle electrode. The neural signal is successfully regenerated both on a rat' s sciatic nerve bundle and on the spinal cord. 展开更多
关键词 neural signal regeneration function electrical stimulation integrated circuit ELECTRODE CMOS technology
下载PDF
一种带偏置的基于相关性分析的Cache一致性协议验证方法
16
作者 夏竟 徐炜遐 +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
逻辑参数库中Power参数的提取 被引量:1
17
作者 高霆 贺祥庆 《微电子学与计算机》 CSCD 北大核心 2003年第5期33-35,61,共4页
本文介绍了在LPE这个逻辑参数(电学参数)自动提取工具里,Power参数的定义以及提取Power的输入激励波形的生成算法。对于不同的RelatedPin以及电路的反馈特性需要不同的激励波形生成算法。
关键词 逻辑参数库 Power参数 反馈特性 激励波形生成算法 超大规模集成电路 电学参数 反馈特性
下载PDF
Intellectual Property Rights on Plant Genetic Resources:Perspective from Economics
18
作者 Zhang Caixia Zhou Yanping 《Chinese Journal of Population,Resources and Environment》 2012年第4期59-63,共5页
Given the existence of transaction costs,the location of property rights is an important factor in determining the incentives for efficient levels of investment at various levels of the industry.This paper applies som... Given the existence of transaction costs,the location of property rights is an important factor in determining the incentives for efficient levels of investment at various levels of the industry.This paper applies some of the economic theories of property rights and industrial structure to the issues concerning the conservation of biodiversity.Although the expansion of Intellectual Property Rights (IPR) systems into the area of genetic resources has increased private investment in R&D process of the agriculture,it does not generate enough incentives for in situ conservation of biodiversity.To solve this economic inefficiency,farmers'rights and other design of incentives and institutional arrangement should be reconsidered. 展开更多
关键词 IPR genetic resources conservation of biodiversity sustainable use
下载PDF
Numerical investigation of efficient synthetic jets generated by multiple-frequency actuating signals 被引量:4
19
作者 Yiran Lu Jiangsheng Wang Jinjun Wang 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2022年第1期70-80,共11页
The synthetic jets generated by multiple-frequency actuating signals composed of a basic sinusoidal wave and a superposed high-frequency signal is investigated by two-dimensional simulation in the present study.The ef... The synthetic jets generated by multiple-frequency actuating signals composed of a basic sinusoidal wave and a superposed high-frequency signal is investigated by two-dimensional simulation in the present study.The effect of the frequency and amplitude of the high-frequency signal on the synthetic jet in the quiescent flow is investigated in detail with stroke length ratio L and Reynolds number Re_(U0)kept as constant.It is found that,with the high-frequency signal superposed,the vortex pairs induced by the synthetic jets are strengthened and accelerated.The distance that the vortex pairs can propagate downstream is also elongated.The entrainment of the synthetic jets is thus enhanced as well.The optimal design is reached when the frequency ratio,defined as the ratio between the superposed signal frequency and the basic signal frequency,is fixed at f^(+)=2.At this optimal frequency ratio,the jet entrainment increases monotonously with the amplitude of the high-frequency signal. 展开更多
关键词 Synthetic jet Jet entrainment Signal superposition Vortex pairs
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部