AI4EDA 速写：从网表到「可学习的图」

数字 IC 流程里，几乎每一步都能抽象成图：

• RTL / 网表 → 门级或运算级图
• 布局布线 → 几何约束下的互连图
• 验证 → 状态转移 / 证明义务图

AI4EDA 常从这里起步：选一个可微或可采样的表示，再对接已有 EDA 工具的输入输出。

本篇只是提纲；后续会补具体论文笔记与复现实验链接。

← 返回 Blog