张东晓 许庆平 董亚卓 程利新 窦勇 孟晗 徐进辉 沈绪榜 刘沁楠 袁小龙 王冠军 王作建 颜宗福 马光胜 刘明业 石峰 夏飞 高德远 刘晓晓 马聪 韩曙 邬贵明 刘明政 杨凯 李东海 刁岚松 吴清平 德远

RTL 目标函数 可综合风格 可综合性 VHDL语言高级综合系统 高层次工艺映射 矢量图 工艺映射 循环展开 控制流 存储 知识库 条件树 面积优化 MLTMMT 存储结构 设计空间探索 解空间 IO调度模式 寄存器 操作调度 位图 内部表示 约束 优化 装载 多项式符号代数 调度 延时约束 VHDL