张晓昆 杨凯 金泰松 郭书明 吴清平 王作建 刘沁楠 莫云和 沈羚 王世好 刘昕宇 谢巍 袁媛 魏本杰 严迎建 孟晗 尚振宏 张茹 陈东瑛 商建云 蒋敬旗 贾良玉 胡燕翔 刁联旺 王常武 高文 杨勋 刁岚松 方家骐

专家系统 模拟器 模拟环境 直线检测 条件树 设计自动化 事件驱动硬件模拟器 国家标准 聚合 面积优化 解释型模拟 工艺映射 数据流 锁存器 有限状态机 算术操作符 装载 可视化 结构式设计 多级逻辑综合 自动化系统 操作符 指令集模拟器 布局 状态分配 RTL综合 功能验证 Verilog 模拟时序模型 时钟压缩算法

北京理工大学ASIC研究所 中国科学院计算技术研究所系统结构研究室 厦门大学计算机与信息工程学院 北京100081昆明理工大学信息工程与自... 南京理工大学计算机科学与工程学系 北京理工大学信息科学技术学院计算机科学工... 北京电子科技学院计算机系 华北计算技术研究所指挥自动化研究室