郑保建 沈海华 范东睿 许彤 朱鹏飞 卫文丽 黄海林 阳富民 涂刚 郭崎 曹非

遗传算法 虚拟验证原型 大规模集成电路 内核 在片调试 板级支持包 随机测试 覆盖率模型 验证 龙芯1号处理器 覆盖率驱动的测试生成 定向功能测试 嵌入式系统 随机测试生成

中国科学院研究生院 北京神州龙芯集成电路设计有限公司 中国科学院计算机系统结构重点实验室 中国科学院计算技术研究所微处理器技术研究... 湖北武汉 中国科学院计算技术研究所系统结构部微处理... 华中科技大学计算机科学与技术学院