吕涛 张福新 邵明 陶芳泽 刘佳 杨羽 钟娜 程作仁 杜慧敏 王惊雷 李晓明 赵阳 喻明艳 曾泽沧 王凯 王克义 沈海华 李华伟 于祥苓 解咏梅 宋扬 吴晓非 刘鹏 李晓维 傅亮 李光辉 严迎建 沈绪榜 孙愿 刘明业

模拟仿真 协同仿真 黑盒 事务处理程序 设计模式 覆盖率准则 模拟验证 约束满足问题（CSP） 微处理器 模拟 形式化验证 可复用IP 结构验证 随机测试 验证覆盖率 可观测性 重用性 基于覆盖率的方法 伪随机生成 多目标演化算法 RTOS 功能测试 逻辑约束编程 仿真加速 断言 建模 自测检验 布尔比较 处理器设计 嵌入式微处理器