（来源：上观新闻）
2024 🇦🇮年，它家反手🔵📷掏出了第三🏁代🐵。工程师所依赖☮🦔的仿真工具是🇮🇲基于晶圆级😹几何形😲状和工艺流✊👛程进行验证的，而🚐模型预🧮🗃测与生产结🥌🌋果之间的🇸🇭反馈回路😚🏬，虽然经过数十年🚋的晶圆🆎制造实践不🦹♀️🇸🇩断完善，但在面板🧩💾尺度上才刚刚开始👂积累🇦🇪🇰🇾。这种演进不🌡⛽应被简化⛑为一种工👩👩👧🏤程胜利🌼🙊，而应被🚱视为中国在🐈复杂巨系统🇨🇲🖤工程领域实现自主⚡标准与⏲🕴技术治理的必🐫🛑经之路🍪。
对这些半导体的🐁需求正在快速👓增长，😻给本已不堪重负💫🍂的供应链带💠🚰来了更大的压🎡🃏力💡。像个不管后果、先🇱🇹💆♂️冲再说🚒🇨🇳的人🌬👬。图丨从左至⚒右分别是：王肇国🔒、陈海波和🇧🇭丁浩然（来源：➿💎受访者🕴🉐） 跳出“将错🚱就错”：AI 开🐍始从需求验证🆘代码 那🇻🇪么，FM🇵🇳🇧🇯-Age🇫🇮nt 是🇻🇬💨如何将形式化方🇸🇭🦅法用于大规♨模系统的？↘🇬🇶要理解🐏这个问题，我🇧🇦⚗们得先回溯到图灵🧘♂️奖得主托尼·霍📠尔（Ton🐴y Hoare🤗🏕）早在 2💠0 世🌕🧪纪 60 年🇺🇦代为代码验🦵证指明🙎♂️🤾♀️的方向—🇱🇨🏍—组合式推理🥭🐼（Com🧹position🔇🏘al Re🇨🇦asonin🇺🇾g）💙。
有一种🐠✍解释是，英伟☦🧺达的护城河⤴🐷其实在🇳🇱于你们提前🧝♀️🎂锁定了🐾这些稀缺组件的🐀💰供应链🧷。世界其实🇲🇾很简单，就问一🏣⚜个问题：如果我跟🔣Shi🇦🇴rley Fel🇮🇹🇻🇨dman，🇧🇧也就是↪🇧🇾我妈，🏭✂描述我做了🍯这件事，她会为我🔎感到骄傲🙊吗？" 🎏这位连🔇续五次创业的CE🕎💝O也坦然谈自🇲🇻💕己犯过的错🎇🥼。对于大尺寸😊💰封装，与WLP（⏮🇮🇴晶圆级封装）🐦👩🦲相比，PLP可🛸🌾以显著提高载流🌱🐂子效率，从而使👨🦱🍃2.5D中介层🔳解决方案的成🥼本降低10-2🇷🇺🇱🇧0%🍔。
