尚振宏 李建一 贾良玉 杨淮 刘明军 洪恩宇 彭刚 金泰松 张晓昆 杨凯 张东晓 许庆平 郭书明 章晓莉 孙元 商建云 王歆民 张茹 张明杰 蒋敬旗 刘祥南 刘昕宇 李翠华 刁联旺 谢巍 杨勋 吴清平 严迎建 宋泽军 孟晗

高层次工艺映射 可视化 最小集 求解方法 EM算法 直线检测 设计自动化 变量 结构式设计 集成电路设计 逻辑设计自动化 控制流 VLSI设计 可综合性 库 Reed-Solomon码 事件驱动硬件模拟器 断言语句 专家系统 乘法器 有限状态机 算术操作符 面积优化 模拟器 时序控制 逻辑图 电路模拟 数组 地址生成 数据流

厦门大学计算机与信息工程学院 北京理工大学ASIC研究所 北京理工大学信息科学技术学院 北京工业学院 北京理工大学计算机科学工程系 北京理工大学ＡＳＩＣ研究所 北京理工大学计算机系 福建厦门