李勇 彭宇行 刘功杰 丁伟 赵文辉 李振涛 朱丹 李暾 汪东 扈啸 李思昆 甄体智 卢先兆 杨晓东 徐心和 梁磊 杨强 孙书为 屈婉霞 张凯选 万江华 闫野 张大伟 胡定磊 陈书明

约束逻辑编程 插值 仿真 Verilog程序切片 电子CAD DSP 计算机辅助设计 超长指令字结构 模拟覆盖率分析 伪随机 三维景观 寄存器传输级 约束 解析解 虚拟原型 工具集成 P5P问题 布局 建模语言 符号模拟 Imagis VLSI 摄像机内参数 数字信号处理器 有向图 数据通路 有限状态机 数据一致性 约束满足问题 SIMD加法器

国防科技大学计算机学院 湖南长沙 国防科学技术大学管理科学与工程系 国防科学技术大学计算机科学与技术学院 国防科学技术大学计算机研究所607教研室 国防科学技术大学计算机研究所并行与分布处... 国防科学技术大学计算机学院 国防科技大学计算机学院微电子所