柴光远 刘振华 侯开虎 赵辉昌 李长征 王克义 李皓 方昊

机器学习 不确定性过滤 路径覆盖率 测试生成 缓冲器插入 高层次综合 给定偏差 服务质量

北京大学微处理器研发中心 西安科技大学机械工程学院 北京大学计算机科学与技术系 北京大学微处理器研究开发中心 西安电子科技大学电子工程学院 北京大学微处理器研究与开发中心 陕西国防工业职业技术学院电子工程系