杨士元 邢建辉 唐玉兰 邵明 王昊 兰巨龙 张惠国 冯冬芹 唐璞山 李光辉 马光胜 吴洋 邓雨春 曾松伟 李鹏 于宗光 陈建慧 李晓维 薛月菊 王红 刘歆 王秀芹

逻辑模拟 电子设计自动化 形式验证 功能验证 重定时 数据结构 RTL设计 求解方法 测试向量自动生成 伪布尔 势约束 电路结构 测试产生 整数线性规划 ATPG算法 黑盒 等价性检查 测试生成 符号模型检查 布尔比较 设计错误诊断 等价性验证 电路宽度 时间裕量 二叉判决图 布尔推理 组合电路 算法 时序电路