2025年12月19日14时，西华大学计算机与软件工程学院在6A-509教室举办“SAT求解及EDA形式化技术前沿进展”学术讲座。本次活动旨在搭建前沿学术交流平台、拓展师生科研视野，特邀中国科学院软件研究所张昕荻博士担任主讲，学院相关领域师生踊跃参与，现场学术氛围热烈。

张昕荻博士是中国科学院软件研究所的特别研究助理，长期致力于约束求解与形式化验证研究，在SAT、CAV、DAC、ICSE等国际顶级会议及期刊发表论文20余篇，曾获国际SAT协会“最佳博士学位论文奖”、国际SAT会议“最佳论文奖”等多项荣誉。讲座中，张昕荻博士系统阐述了可满足性问题（SAT）在计算机科学中的核心地位及其作为关键形式化方法在电子设计自动化（EDA）领域的重要应用价值。

张昕荻博士结合自身丰富的研究与实践经验，从求解器层面介绍了SAT参数配置、定制求解及并行算法的最新探索；在应用层面，则深入剖析了SAT求解技术在组合等价性验证（CEC）、自动测试向量生成（ATPG）等EDA关键问题中的定制策略与并行求解应用。张昕荻博士的讲解深入浅出，既有理论高度，又紧密结合工业实际，引发了在场师生的浓厚兴趣与深入思考。

与会师生反馈，本次报告内容前沿、信息密度高,不仅清晰呈现了SAT与EDA形式化技术的前沿趋势，而且对启发科研思路具有积极的促进作用。