徐勇军 易波 孙愿 郭阳宽 岳华伟 王开和 卢学军 李晓维 张伸 孟海波 卢鼎 傅亮

可测试性设计 SoC 代码覆盖率 片上系统 片上总线 总线系统验证 水泵 噪声 仲裁算法 强实时性 自动生成 功能覆盖率 功能验证 覆盖率分析 层次化设计方法 遗传算法 振动 扫描设计 管道系统

中国科学院计算技术研究所微处理器技术研究... 北京100080苏州中科集成电路设计中心... 中国科学院研究生院 中国科学院计算技术研究所先进测试技术实验... 北京100080中国科学院研究生院北京 合肥230026中国科学院计算技术研究所... 中国科学院计算技术研究所信息网络室 中国科学技术大学物理系