李光辉 石茵 闵应骅 潘榆奇 崔昌明 张保定 李晓维 闵应华 李华伟 李锦涛 魏道政 蔡烁 邝继顺 李忠诚 邵明

电路宽度 PODEM算法 波形敏化 临界路径跟踪法 算法复杂性 FAN算法 结构分析 数字电路 时间参数 PSPICE模拟 初级输出 新进展 D算法 形式验证 组合电路 二叉判决图 布尔可满足性 完全测试集 时延故障 电路描述语言 临界路径跟踪 布尔推理 故障被测度 故障效应传播 瞬态电流测试 实验研究 故障覆盖率 故障模拟 扇出源 故障模型