表彰其在EDA领域的贡献，北大学子郭资政获ACM SRC全球总决赛本科生第一名

集微网消息，6月3日，国际计算机学会（ACM）发布2022年度学生科研竞赛Student Research Competition (SRC) 全球决赛结果，授予不同研究方向的三位研究生和三位本科生决赛优胜奖励。北京大学信息科学技术学院四年级学生郭资政获得本科生组全球第一名（First Place），以表彰他在芯片设计自动化(EDA)领域的贡献。

图片来源：北京大学

北京大学消息显示，郭资政是北大信息科学技术学院“图灵班”大四学生。科研中，郭资政主要围绕着芯片设计自动化中的静态时序分析领域做了一系列创造性的工作。静态时序分析是芯片设计的一个关键步骤，旨在确定芯片的设计正确性和最高运行速度，有着准确性要求高、耗时长、跨越整个设计流程的特点。郭资政首次提出使用GPU加速静态时序分析的算法，克服GPU这类并行计算硬件上处理不规则电路图数据的困难。他的多项工作被EDA领域的国际顶级学术会议和期刊DAC、ICCAD、TCAD等接收。

图片来源：北京大学

同时，郭资政也深入研究了时序分析中的主要计算瓶颈，首次实现线性时空复杂度的路径分析算法，效率提升达到了一百倍。在此研究的基础上，他结合算法理论和硬件架构的相关知识，进一步提出了GPU并行编程模型下的路径分析方法，在全精度分析的场景下，在效率上提升了多个数量级。

除了芯片静态时序分析领域，他还积极探索EDA和人工智能的交叉方向。在研究中，他将图神经网络和时序分析引擎相结合，提出跨越芯片设计流程多个环节的建模技术，定制图学习方法模拟时序分析的解析过程。同时他还探索将时序分析过程与神经网络训练进行类比，提出了学术界首个基于可微时序引擎的布局优化算法，较当前最先进的布局算法性能提升28%以上。

北京大学消息显示，郭资政曾两次获得国家奖学金，是北京大学第十三届“学生五·四奖章”获得者，这是作为北大学生的最高荣誉。他连续三年获评北京大学三好学生标兵，并曾获国际大学生程序设计竞赛 (ICPC)区域赛冠军，及世界大学生超算竞赛(ASC)一等奖。（校对/Ray）