强新建 苟卫忠 于宗光 王剑 淮治华 王新安 吕欣欣 孙宏滨 葛晨阳 胡建国 陶建中 张超 张溯 程作仁 李晋文 刘淑芬 詹文法 曾献君 田泽 胡剑浩 王东 凌翔 韩霞 侯朝焕 张开明 刘龙 杨洪斌 张松 张国新 李罗生

仿真 在线仿真 原型验证 结构优化 验证方法学 待验证模块 现场可编程逻辑门阵列 自检查 可编程逻辑门阵列 ARINC659芯片 处理器 功能验证 模拟加速 实时操作系统 VERILOG HDL SoC 硬件加速器 通用 软硬件协同仿真 可重构 可重用性 基于事务的验证 总线协议芯片 混合建模 无线局域网 模块化 现场可编程门阵列 数字视频 随机激励 片上系统