杜慧敏 李晓维 姚英彪 王克义 李晓明 吕涛 卢鼎 刘明业 孙愿 曾泽沧 姚庆栋 孟李林 程旭 刘鹏 张志敏 鲍东星 肖志斌 李华伟 严迎建 沈绪榜 赵阳 王世好 佟冬 傅亮 林桦 韩俊刚 张良

测试生成 微处理器 多目标演化算法 覆盖率准则 事务处理程序 可观测性 事务 模拟验证 模拟器 RTOS 状态转移路径 逻辑约束编程 伪随机生成 断言 自动生成 嵌入式微处理器 协调设计 代码覆盖率 嵌入式系统 遗传算法 功能覆盖率 cache 同步数字系列