李光辉 闵应骅 潘榆奇 李锦涛 李忠诚 张保定 魏道政 李晓维 邵明 闵应华

FAN算法 结构分析 故障覆盖率 扇出源 初级输出 布尔推理 故障被测度 电路描述语言 新进展 电路宽度 临界路径跟踪 D算法 完全测试集 实验研究 二叉判决图 故障模拟 故障效应传播 布尔可满足性