基于带路径布尔函数的电路冗余识别  

Circuits redundancy identification based on Boolean function with path

作　　者：黄越[1] 柴志雷[1] 须文波[1] 

机构地区：[1]江南大学信息工程学院,江苏无锡214122

出　　处：《计算机应用》2011年第A02期216-221,共6页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60703106)

摘　　要：带路径布尔函数的电路冗余识别算法(RDIBP)能够发现数字电路中的冗余故障。提出了基于SOP表达式形式的带中间节点信息的布尔函数表示方法,并为了便于发现冗余故障改进了传统的布尔函数化简方法。根据测试电路节点相关性将其分组以提高算法效率防止内存爆炸,通过调整控制参数确保算法在合理的时间内完成。算法对ISCAS85、ISCAS89和ITC99基准电路进行实验,且与其他算法结果进行了比较和分析。Redundancy identification recognition algorithm based on Boolean functions with Paths（RDIBP） can identify redundant faults in digital circuits.A Boolean function representation using the form of Sum of Product（SOP） expression with intermediate nodes information was presented in this paper.And the traditional Boolean function simplification methods were improved for finding redundant faults easily.The circuit nodes were divided into groups according to correlation for increasing the efficiency of the algorithm and preventing memory explosion.Moreover,RDIBP was ensured within a reasonable time by adjusting the control parameters.RDIBP experimental results on ISCAS85,ISCAS89 and ITC99 benchmark circuits were compared and analyzed with other algorithms.

关 键 词：冗余识别 布尔函数 基准电路 SOP表达式 分组 

分 类 号：TP391.76[自动化与计算机技术—计算机应用技术]