江苏龙网

  1. 首页 > 人文 > >

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

毫无疑问，国产芯片已经迎来春天 。
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工具和方法学需要全面进阶，才能降低技术门槛，进一步提升芯片技术发展的速度和创新的效率 。

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

傅强表示，在后摩尔时代中，芯片设计环节必须得到革命性的变革和发展，而未来的数字化系统是由“系统+算法+软件+芯片”深度融合集成的 。系统应用的创新对芯片产生了更多的定制化需求，现在EDA的发展速度越来越跟不上芯片设计规模和需求的快速增长，我们必须研究和发展下一代的EDA 2.0技术并构建面向未来的全新生态 。
面向未来的EDA 2.0有三大关键技术路径：
开放和标准化
自动化和智能化
平台化和服务化
EDA 2.0的目标是要让系统工程师和软件工程师都能参与到芯片设计中来，解决设计难、人才少、设计周期长、设计成本高企的问题，用智能化的工具和服务化的平台来缩短从芯片需求到应用创新的周期 。
傅强表示，EDA 2.0不再是工具的组合，而是一个服务化、可定制的完整平台，可以直接服务不同的应用需求，支持其快速设计和部署芯片产品，实现更高效更简单的应用创新周期，让芯片设计更简单、更普惠 。


推荐阅读


上一篇：Intel|3亿美元单价翻倍！ASML下一代EUV光刻机提前量产：Intel抢首发

下一篇：知网|中国知网：从不向任何个人销售查重服务