李暾

职务：国防科技大学，教授
责任赛题：
赛题九：基于仿真波形的回归测试错误自动化诊断与分类;

国防科技大学教授，博导。CCF集成电路设计专委执行委员。 主要研究方向为微处理器RTL及之上层次设计的设计验证方法与技术，包括系统级与RTL等价性检查、模拟激励自动生成、微处理器敏捷设计方法、模糊测试技术、Verilog代码自动修复等。相关工作在TCAD、DATE、ASPDAC等EDA领域期刊与会议发表50余篇论文。Li Tun is a Professor and Ph.D. Supervisor at the National University of Defense Technology (NUDT). He serves as an Executive Committee Member of the Technical Committee on Integrated Circuit Design, China Computer Federation (CCF). His primary research focuses on design verification methodologies and techniques for microprocessor design at the RT-Level and higher abstraction levels, including system-level and RTL equivalence checking, automated test stimulus generation, agile design methodologies for microprocessors, fuzz testing techniques, and automated Verilog code repair. He has published over 50 papers in in leading EDA venues.