夏飞 黄培 李晓维 罗闯 董亚卓 黄德利 黄亮 周锋 郭阳 唐璞山 刘明政 陈志葛 窦勇 吴为民 王德新 张根度 唐荣峰 黄志军 应建华 李思昆 沈绪榜 李华伟 顾宝发 牛英山 吴时霖 李剑宇 方红霞 童家榕 熊劲 李暾

预取 仿真 仿真器 硬件结构 微程序模块 可满足性 控制台 约束逻辑编程 模型检验 微处理器 流水线 总线 高速缓冲存贮器 约束满足问题 设计者 单总线 微地址寄存器 指令系统 存储结构 协议控制器 行操作 微指令格式 等待时间 模拟矢量自动生成 流水线设计 微汇编语言 存储控制器 机群文件系统 DLX FPGA结构