西电游海龙教授课题组在EDA硬件仿真编译领域取得重要学术成果