李忠诚 闵应骅 薛宏熙 边计年 贝劲松 杨士元 吴有亮 洪先龙 童诗白

布尔函数 逻辑设计验证 通路敏化 形式验证 集成电路测试 冗余添加和删除技术 二叉判决图 逻辑综合 OBDD 可替换线逻辑变换 变量序 通路时滞故障测试生成 OBDD变量排序 组合电路

清华大学计算机科学与技术系 清华大学自动化系 中国科学院计算技术研究所ＣＡＤ开放实验室 香港中文大学计算机科学与工程系 中国科学院计算技术研究所CAD开放实验室