简历：
徐易难，计算所特别研究助理/助理研究员。2019年本科毕业于中国科学院大学，2025年博士毕业于中国科学院计算技术研究所。博士期间曾获中国科学院院长特别奖、计算所所长特别奖（夏培肃奖）、博士研究生国家奖学金等荣誉。他是“香山”开源高性能RISC-V处理器项目的核心开发者，在芯片敏捷设计和验证方向提出多项创新技术并在香山项目落地，成果发表于MICRO、DAC、JCST等国际知名会议和期刊，其中“香山”及其敏捷设计方法被评选为2022年度体系结构领域全球12项亮点工作之一（IEEE Micro Top Picks）。
研究方向：
芯片敏捷开发、开源处理器设计、高性能处理器微架构
代表论著：
(1) Kunlin You, Yinan Xu, Kehan Feng, Luoshan Cai, Yaoyang Zhou, Yungang Bao. DiffTest-H: Toward Semantic-Aware Communication in Hardware-Accelerated Processor Verification. 58th IEEE/ACM International Symposium on Microarchitecture (MICRO’25).
(2) Yinan Xu, Sa Wang, Dan Tang, Ninghui Sun, and Yungang Bao. PathFuzz: Broadening Fuzzing Horizons with Footprint Memory for CPUs. 61st ACM/IEEE Design Automation Conference (DAC’24).
(3) Yi-Nan Xu, Zi-Hao Yu, Kai-Fan Wang, Hua-Qiang Wang, Jia-Wei Lin, Yue Jin, Lin-Juan Zhang, Zi-Fei Zhang, Dan Tang, Sa Wang, Kan Shi, Ning-Hui Sun, Yun-Gang Bao. Functional Verification for Agile Processor Development: A Case for Workflow Integration. Journal of Computer Science and Technology 38(4): 737−753 July 2023.
(4) Yinan Xu, Zihao Yu, Dan Tang, Guokai Chen, Lu Chen, Lingrui Gou, Yue Jin, Qianruo Li, Xin Li, Zuojun Li, Jiawei Lin, Tong Liu, Zhigang Liu, Jiazhan Tan, Huaqiang Wang, Huizhe Wang, Kaifan Wang, Chuanqi Zhang, Fawang Zhang, Linjuan Zhang, Zifei Zhang, Yangyang Zhao, Yaoyang Zhou, Yike Zhou, Jiangrui Zou, Ye Cai, Dandan Huan, Zusong Li, Jiye Zhao, Zihao Chen, Wei He, Qiyuan Quan, Xingwu Liu, Sa Wang, Kan Shi, Ninghui Sun, Yungang Bao. Towards Developing High Performance RISC-V Processors Using Agile Methodology. 55th IEEE/ACM International Symposium on Microarchitecture (MICRO’22).
京公网安备1101080060号
