张燕安 龙望宁 邓辉 吴有亮 吴为民 洪先龙 朱明 聂江波 王云峰 苏明 吴强 贝劲松 牛亚文 范轶平 元彦宏 边计年

系统级综合 有限状态机 嵌入式系统 任务调度 调度 OBDD 资源分配 软硬件划分 组合电路 粒度变换 数字系统 无冲突调度 逻辑综合 层次化 控制数据流图 浓度 延迟时间 高层次综合 多路软硬件划分 VHDL 可替换线逻辑变换 操作类型集 同步时序电路 硬件描述语言 标准功能单元 冗余添加和删除技术 形式验证 设计空间搜索 强时间约束 粒度选择

清华大学计算机科学与技术系 香港中文大学计算机科学与工程系 湖南大学计算机与通信学院 湖南长沙