检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

组合电路复杂度与面积的翻转信息熵估计方法

清华大学学报（自然科学版） 2004年第4期44卷 542-545页

作者：张盛王乃龙周润德清华大学微电子学研究所北京100084

为了提高在信息论基础上的逻辑电路面积和功耗分析方法的估计精度,在传统输出信息熵估计理论基础上,提出了利用翻转信息熵进行电路实现复杂度和面积估计的理论方法。概率的方法被用于对组合逻辑电路的输入输出信号翻转行为的相关和相似... 详细信息

为了提高在信息论基础上的逻辑电路面积和功耗分析方法的估计精度,在传统输出信息熵估计理论基础上,提出了利用翻转信息熵进行电路实现复杂度和面积估计的理论方法。概率的方法被用于对组合逻辑电路的输入输出信号翻转行为的相关和相似进行量化分析。在此基础上实现了翻转信息熵面积估计算法,对随机生成的大量电路和标准benchmark电路进行的实验结果表明,该方法带来了至少3%左右的估计精度改善。

关键词：组合电路复杂度翻转信息熵功耗估计面积估计计算机辅助设计集成电路

在线全文

学校读者我要写书评

暂无评论

用AIG推理检验组合电路的等价性

西安电子科技大学学报 2009年第5期36卷 877-884页

作者：范全润段振华徐国培西安电子科技大学计算机学院陕西西安710071

大部分基于SAT的组合电路等价性检验方法是将两个待检验的电路组合成一个miter电路,将这个电路变换成CNF形式,然后调用一个SAT判定器来确定这个CNF是否是可满足的.但是,当miter电路被变换成CNF之后,就丢掉了电路的结构信息.针对这种方... 详细信息

大部分基于SAT的组合电路等价性检验方法是将两个待检验的电路组合成一个miter电路,将这个电路变换成CNF形式,然后调用一个SAT判定器来确定这个CNF是否是可满足的.但是,当miter电路被变换成CNF之后,就丢掉了电路的结构信息.针对这种方法的不足,先假定miter的输出为1,然后从miter的输出端开始,回溯检查是否存在冲突来判定miter的可满足性.利用AIG的特点,把每个节点的四种输入组合归结为一种,从而使推理得到了简化.实验表明,此方法有更快的处理速度.

关键词：组合电路等价性检验电路推理与非图

在线全文

学校读者我要写书评

暂无评论

基于分布估计算法的组合电路测试生成

电子学报 2006年第B12期34卷 2384-2386页

作者：赵中煜彭宇彭喜元哈尔滨工业大学自动化测试与控制系黑龙江哈尔滨150080

基于遗传算法生成的测试矢量集的故障覆盖率要低于确定性方法.本文分析指出造成这种现象的一个可能原因在于,组合电路测试生成过程中存在高阶、长距离模式,从而导致遗传算法容易陷入局部极值或早熟收敛.为此,本文首次提出使用分布估计... 详细信息

基于遗传算法生成的测试矢量集的故障覆盖率要低于确定性方法.本文分析指出造成这种现象的一个可能原因在于,组合电路测试生成过程中存在高阶、长距离模式,从而导致遗传算法容易陷入局部极值或早熟收敛.为此,本文首次提出使用分布估计算法生成测试矢量.该方法使用联合概率分布捕捉电路主输入之间的关联性,从而避免了高阶、长距离模式对算法的影响,缓解了算法早熟收敛问题.针对ISCAS-85国际标准组合电路集的实验结果表明,该方法能够获得较高的故障覆盖率.

关键词：分布估计算法自动测试生成组合电路

在线全文

学校读者我要写书评

暂无评论

基于神经网络的组合电路测试生成算法

哈尔滨工业大学学报 2002年第2期34卷 255-257页

作者：刘晓东孙圣和哈尔滨工业大学计算机与电气学院黑龙江哈尔滨150001

介绍了一种基于神经网络的组合电路测试生成算法 .该算法不同于传统的方法是它既不需要回退也不需要故障传播的过程 .利用Hopfield神经网络模型将组合电路表示成双向的神经网络 ,通过故障注入 ,建立被测电路的约束网络 ,并构造网络的能... 详细信息

介绍了一种基于神经网络的组合电路测试生成算法 .该算法不同于传统的方法是它既不需要回退也不需要故障传播的过程 .利用Hopfield神经网络模型将组合电路表示成双向的神经网络 ,通过故障注入 ,建立被测电路的约束网络 ,并构造网络的能量函数 ,将组合电路的测试矢量对应于神经网络能量函数的最小值点 ,从而运用遗传算法求解能量函数的最小值点来求得测试矢量 .在一些基准电路上的实验结果表明本算法具有较高的故障覆盖率和较短的测试时间 .

关键词：神经网络组合电路测试生成算法遗传算法集成电路

在线全文

学校读者我要写书评

暂无评论

组合电路等价性检验方法研究

计算机工程 2007年第4期33卷 253-255页

作者：曾琼闫炜中国科学院成都计算机应用研究所

分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。

关键词：等价性检验组合电路二叉判定图布尔可满足自动测试向量产生

在线全文

学校读者我要写书评

暂无评论

组合电路功能级测试生成的临界二元树方法

电子学报 1996年第8期24卷 68-71页

作者：陈朝阳陈光禹虞厥邦成都电子科技大学CAT实验室

本文描述了电路基于呆滞型故障模型的功能级测试生成的概念及临界二元树（Ｃｒｉｔｉ－ｃａｌＢｉｎａｒｙＴｒｅｅ，ＣＢＴ）用于功能级测试生成的方法，提出了一种新的临界输入动态识别方法，以求获得较小的ＣＢＴ规模，加速测试生成... 详细信息

本文描述了电路基于呆滞型故障模型的功能级测试生成的概念及临界二元树（Ｃｒｉｔｉ－ｃａｌＢｉｎａｒｙＴｒｅｅ，ＣＢＴ）用于功能级测试生成的方法，提出了一种新的临界输入动态识别方法，以求获得较小的ＣＢＴ规模，加速测试生成过程．

关键词：临界二元树组合电路功能级测试生成

在线全文

学校读者我要写书评

暂无评论

基于紧致遗传算法的组合电路测试集压缩

仪器仪表学报 2008年第11期29卷 2384-2388页

作者：赵中煜彭宇彭喜元哈尔滨工业大学自动化测试与控制系哈尔滨150080

随着电路集成度和复杂度的不断增加,电路测试所需的测试矢量集的规模也迅速增长。本文针对现有测试集压缩算法全局寻优能力不足的问题,提出一种基于紧致遗传算法的组合电路测试集压缩方法。紧致遗传算法不但具有良好的全局搜索能力,而... 详细信息

随着电路集成度和复杂度的不断增加,电路测试所需的测试矢量集的规模也迅速增长。本文针对现有测试集压缩算法全局寻优能力不足的问题,提出一种基于紧致遗传算法的组合电路测试集压缩方法。紧致遗传算法不但具有良好的全局搜索能力,而且其基于小种群进化的特性可以有效地降低计算花费.非常适合处理数据大的大规模测试集压缩问题。对ISCAS-85标准电路测试集的实验表明,与同类方法相比,该压缩方法能够得到更小的测试集。

关键词：测试集压缩紧致遗传算法组合电路集合覆盖