薛宏熙 邓澍军 连永君 吴强 陈吉华 蔡懿慈 卢勤 赵震 龙望宁 曾祥智 洪先龙 吴为民 刘渝 吕昌 李思昆 王海力 董社勤 周强 熊志辉 贝劲松 于浚泊 王云峰 赵燕妮 牛亚文 朱利民 赵康 戴晖 童琨 刘志鹏 范轶平

最小费用流 综合 软硬件划分 交互式 软硬件协同设计 系统芯片 集束式整数线性规划模型 功能块级电路 层次化 二分搜索 多路软硬件划分 系统重用 变量序 VHDL 快速布局 寄存器传输级 通信综合 事务级建模 层次式 FSM 线性规划 行为级综合 接口综合 布尔函数 可满足性 同步时序电路 嵌入式系统 模型检验 抽象体系结构模板 控制数据流图

国防科学技术大学计算机学院 清华大学计算机科学与技术系 国防科学技术大学计算机学院长沙 湖南大学计算机与通信学院 北京大学数学科学学院信息科学系 国防科学技术大学信息系统与管理学院