职务:国防科技大学 教授
责任赛题:
赛题九:基于仿真波形的回归测试错误自动化诊断与分类;
国防科技大学教授,博导。CCF集成电路设计专委执行委员。主要研究方向为微处理器RTL及之上层次设计的设计验证方法与技术,包括系统级与RTL等价性检查、模拟激励自动生成、微处理器敏捷设计方法、模糊测试技术、Verilog代码自动修复等。相关工作在TCAD、DATE、GLSVLSI、ASPDAC等EDA领域期刊与会议发表50余篇论文。