范轶平 邓辉 边计年 贝劲松 吴强 龙望宁 牛亚文 洪先龙 王云峰 张燕安 苏明

硬件描述语言 软硬件划分 粒度变换 多路软硬件划分 分配 嵌入式系统 OBDD 组合电路 强时间约束 调度 延迟时间 变量序 VHDL 系统芯片 数字系统 抽象体系结构模板 层次化控制数据流图 控制数据流图 模型判别器 布尔函数 FSM 高层次综合 层次化 有限状态机 同步时序电路 粒度选择 形式验证 关键路径 质蕴涵项

清华大学计算机科学与技术系