DAC 2026 将设 AI4EDA 工作坊专题（示例）

示例简讯：虚构 / 占位内容，仅用于 News 板块版式与 schema 验收，不代表真实日程。

组委会在公开材料中提到，下一届设计自动化会议计划增设以 AI4EDA 为主线的工作坊轨道，覆盖布局布线启发式、候选逻辑重写，以及把模型输出接入等价性 / 属性检查的流水线。

对关注形式化兜底的读者，值得盯的不是「模型又刷了什么分」，而是工业对照实验是否要求 checker 通过 才算合入条件。