杨士元 邵明 唐璞山 兰巨龙 李鹏 邓雨春 杨德才 李晓维 王红 陈光 吴洋 冯冬芹 李光辉 谢永乐 曾松伟 薛月菊

形式验证 电子设计自动化 时延故障测试 设计错误诊断 重定时 电路宽度 组合电路 RTL设计 等价性验证 测试向量自动生成 时序电路 层次化电路 时间裕量 二叉判决图 布尔推理 符号模型检查 等价性检查 测试产生