叶以正 李国宽 邢座程 陈吉华 李晋文 欧钢 冀蓉 胡建国 刘军 何煜 陈亮 刘龙 陈海燕 谢伦国 郝志刚 陈书明 衣晓飞 孙绪红 游国福 邓让钰 秦拯 曾芷德

并行测试生成 ASIC验证 结构优化 传输管 输出扇入锥 显示并行指令计算 分体结构 非单位延迟 硬件仿真 优化的锁步执行模型 故障划分 软件模拟 单位延迟 乘法器 模拟加速 多端口寄存器文件 可靠性设计 占空比调节 组合逻辑电路 时钟偏斜补偿 验证平台 部分积 相位合成 数控延迟线 端口共享 加速比 逻辑优化 硬件加速器 仿真器 存储级并行

国防科技大学计算机学院 湖南长沙 国防科学技术大学计算机系 国防科学技术大学计算机学院 国防科技大学计算机学院微电子研究所 哈尔滨工业大学IC-CAD研究室