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

带路径布尔函数的电路冗余识别算法(RDIBP)能够发现数字电路中的冗余故障。提出了基于SOP表达式形式的带中间节点信息的布尔函数表示方法,并为了便于发现冗余故障改进了传统的布尔函数化简方法。根据测试电路节点相关性将其分组以提高算法效率防止内存爆炸,通过调整控制参数确保算法在合理的时间内完成。算法对ISCAS85、ISCAS89和ITC99基准电路进行实验,且与其他算法结果进行了比较和分析。