国产|国产高端芯片实力如何？六位资深业内人士如是说芯片|国产高端芯片实力如何？

毫无疑问，国产芯片已经迎来春天。
2020年8月，国务院印发的《新时期促进集成电路产业和软件产业高质量发展的若干政策》提出，中国芯片自给率要在2025年达到70% 。
无疑，这是集成电路产业的重大际遇，但也对行业提出了新的挑战。
尤其是在这样的政策大背景下，如何推进国产芯片产业链条不断在技术前沿和产业应用落地层面走向高端突破，成为当前整个行业不得不关注的核心议题——这其中，就包括了 EDA 软件开发、国产 CPU、类脑计算、专用领域芯片以及资本助力等多领域、多层次和多维度的问题。
针对这些问题，雷峰网GAIR 大会的「集成电路高峰论坛」邀请了来自学术、产业和投资界的多位嘉宾，从不同角度对集成电路国产化、高端化过程中的重要议题进行了分享和探讨。
中国科学院软件研究所研究员蔡少伟：SAT 求解器 EDA 基础引擎
EDA是中国芯片产业发展的卡脖子技术，求解器又是EDA的基础引擎，解决了基础技术挑战才能支撑整个产业的快速发展——基于此，中国科学院软件研究所研究员蔡少伟主要从自己的研究角度谈到了 EDA 的发展。
蔡少伟的演讲主要涵盖三个方面，一是 EDA 和 SAT 求解器的关系；二是举例说明 SAT 求解器在 EDA 当中的应用；三是分享其团队在 SAT 求解器方面的进展。
蔡少伟表示，EDA 集成电路设计自动化软件，整条链很长，而不是单个的软件。在 EDA 软件中，其底层需要一些计算引擎，而主要的计算引擎就是 SAT 求解器。
在 EDA 各个环节中，包括逻辑综合、物理实现，以及中间的验证、仿真测试都会用到 SAT 求解器。
SAT 的全称是布尔可满足性问题。给定一个布尔公式或称为命题逻辑公式（即用与或非等布尔逻辑运算连接布尔变量的公式），判定是否存在一组赋值使得公式取值为真。
一般情况下，SAT 求解方法可以分为两类：完备算法和不完备算法。完备算法是指算法结束时确保正确判定；不完备算法是指争取短时间内找到解。

文章图片

以前的混合算法未能在工业实例上取得改进，后来蔡少伟团队采用系统搜索求解+局部搜索采样，基于信息交互的深度合作，设计的混合算法在工业实例上显出了显著的改进，首次回答了 1997 年 Bart Selman 提出的 SAT 十大挑战的第七个挑战---关于结合两种方法设计更高效算法的挑战。其求解器获得国际SAT比赛冠军，相关论文获得该领域权威会议最佳论文奖。
蔡少伟团队的SAT求解器已经用于集成电路验证的实际场景，在1小时内可求解出一些近 2 亿子句规模的算例。
芯华章科技 COO 傅强：后摩尔时代下，EDA 2.0 赋能数字化未来
数字化时代下，科学研究范式正在发生革命，人工智能、云原生技术等前沿科学正在颠覆芯片产业过去的经验和模式。
回顾EDA的历史我们可以发现，在过去30年里，芯片的集成规模提高了数万倍、设计难度和成本也急剧增加，但是EDA作为集成电路设计工具，在方法论革新与颠覆式技术创新却一直没有突破，无法支撑快速增加并急剧分化的应用需求。EDA工具和方法学需要全面进阶，才能降低技术门槛，进一步提升芯片技术发展的速度和创新的效率。