电子设计自动化（EDA）技术与算法

教程导读：当画图的手追不上芯片的复杂度

「流片。」芯片行业里最贵、也最让人睡不好觉的词。设计团队把它说出口时，意味着版本冻结、掩模下单、巨额资金押给晶圆厂——成了，就是货架上的产品；败了，连复盘的机会都没有。把这种豪赌改造成确定性工程的，正是本文集的主角：电子设计自动化（Electronic Design Automation，EDA）。它不生产芯片，却决定芯片能不能被设计出来；它不出现在产品发布会上，却悄悄划定了所有硬件的性能边界。

这本文集回答什么问题

现代高端芯片集成的晶体管数以百亿计，任何依靠人手绘制的尝试在数学上都不成立。EDA 的存在理由可以用一条问题链概括，本文集的章节安排就沿这条链展开：为什么手工画不完了？逻辑综合怎么做？布局布线的算法本质是什么？时序分析与签核如何给出承诺？仿真与验证怎样在投产前抓错？形式化验证凭什么用数学证明代替穷举？以及，AI 与 EDA 的融合正把这条链推向哪里？

每个问题对应一章。你读到的不是工具使用手册，而是工具背后的算法——最小割、模拟退火、解析式布局、迷宫布线、牛顿-拉夫逊迭代、SAT 求解、图神经网络。理解了算法，商业工具的按钮和选项就只是参数化界面；不理解算法，再熟练的操作也只是照方抓药。

图：全册知识地图——沿问题链推进的八章

全册的学习依赖关系

主线是第 1 到第 4 章：先建立"为什么需要自动化"的问题意识，再依次走过综合、物理实现、时序签核这三段最硬核的算法。第 5 章和第 6 章是横向支撑：制造协同把设计端与晶圆厂连起来，仿真与形式化验证则在每个阶段为正确性兜底。第 7 章讨论机器学习如何改写上述每一环的成本曲线，第 8 章把这些技术装进工程管理制度。具备数字逻辑与基本算法（图论、动态规划）功底的读者，可以按章序通读；从事某一岗位的工程师，也可以按问题直接跳章，每章的支柱页都标明了前置与出口。

这本文集不做什么

它不教某个商业工具的菜单操作——那些知识半衰期太短，且离开具体版本就失效。它也不重复器件物理与半导体制造的教科书内容，只在算法需要物理背景时给出够用的最小剂量。所有关键算法都配有伪代码或可运行的示意代码、复杂度分析，以及工程上真实的数字：约束窗口以皮秒计、物理验证规则以千条计、掩模组造价以百万美元计。数字本身就是论证的一部分——EDA 的每一个设计决策，都是拿这些数字互相抵消后的结果。

读完你能带走什么

建立一条从 RTL 代码到 GDSII 版图的完整心智模型；能对综合、布局、布线、时序分析中的核心算法说出输入、输出、目标函数与复杂度；拿到一份时序报告或物理验证报告时，知道数字背后的因果链；面对 AI for EDA 的新论文与新工具，能判断它改进的是链条上的哪一环、代价是什么。如果读完之后，你看到一颗芯片时想到的不再是"晶体管真多"，而是"这背后被求解过的那些方程"，这本文集的目的就达到了。

最后交代一下使用建议。若你是初学者，按章序通读即可，每章支柱页都写明了前置与出口，照着走不会迷路。若你是在职工程师，建议按问题链定位：卡在综合就进第 2 章，卡在时序就进第 4 章，每节自成闭环，不必整册通读。若你做 EDA 算法研究，第 2、3、6 章的每个算法都标注了复杂度与工业地位，可以直接当选题地图用。技术会过时，问题链不会——本文集押注的是后者。