12月24日下午，由中国计算机学会（CCF）主办，上海工业控制安全创新科技有限公司、华东师范大学共同承办的“2021CCF中国软件大会电子设计自动化软件验证论坛”成功举办。本次论坛由于疫情影响以线上直播方式进行，邀请来自学术界和的工业界的多位顶尖专家，聚焦国内芯片验证软件最新行业进展和理论前沿，深度解析我国EDA软件形式化验证领域现状，共话我国EDA软件未来发展前景。论坛受到学术界及业界师生和从业者的热烈响应，腾讯会议室实时在线人数超过120人，论坛视频在线直播和B站在线直播累积观看人数超过4200人。

论坛首先由上海工业控制安全创新科技有限公司总经理、华东师范大学教授蒲戈光作开场致辞，简要介绍了本次论坛的背景。他对我国EDA软件的发展前景给予肯定，表示虽然当前工业软件面临巨大技术挑战，但随着电子信息产业深度发展，以EDA软件为主的国产工业软件迎来了新的发展增长契机，企业愈发重视自主可控技术研发。

随后，由5位来自学术界和业界的专家学者带来报告分享。

• 奥卡思微电科技联合创始人与首席执行官 袁军

报告主题：芯片形式验证技术及应用

主要介绍芯片形式化验证方法，不同验证工具的技术特点及应用场景

• 华为海思半导体项目群总监 李选林

报告主题：硬件形式验证应用

结合当前集成电路形式化证明应用现状及面临的挑战，分享高阶逻辑系统及其在硬件验证中的应用实例

• 芯华章科技股份有限公司高级研发经理 刘军

报告主题：形式化工具在EDA领域最新发展方向研究

基于工具发展历程、产业机遇与挑战等方面，系统梳理形式化工具在EDA领域最新发展方向研究

• 中国科学院软件研究所研究员、博导 蔡少伟

报告主题：约束求解的一些进展

交流SAT问题、在EDA中的典型应用及常见的SAT算法，提出当前约束求解研究进展

• 华东师范大学研究员、博导 李建文

报告主题：互补近似可达验证技术及其应用

从应用场景包括芯片、航天、轨道交通等安全攸关领域研究方向，分享用于保障计算机软硬件系统的正确性和安全性的相关应用

至此，2021CCF电子设计自动化软件验证论坛落下帷幕。未来，上海控安也将继续深化拓展学术研究成果与产业实践需求交叉，加强学术界与工业界合作，促进国产EDA验证软件理论研究、工具成果和行业实践应用的融合发展。