ATLAS用Mapper图刻画可行域拓扑，在四个模拟电路基准上以更少SPICE仿真达到100%成功率
核心概要
ATLAS是一个贝叶斯优化框架，它在每次迭代对代理模型预测的可行域构建Mapper图以估计连通区域数，并用拓扑敏感度把候选点分为桥接、前沿与内部点，向采集函数注入探索奖励；在GF180与SKY130工艺的四个模拟电路基准上，ATLAS在全部四个电路取得最高或并列最高的成功率，其中最难电路CMA达到100%成功率而多数基线为0%。
Figure 1 . An intuitive overview of (left) the Mapper algorithm for constructing a topological graph, and (right) the proposed region-aware exploration method that utilizes topological recognition to achieve balanced design space exploration.
arXiv深度剖析
ATLAS把拓扑数据分析引入模拟电路尺寸自动化的查询机制：对代理模型预测的近可行点云构建Mapper图，用第零贝蒂数估计可行域的连通区域数，从而在尚未观测到任何真正可行点时就获得可行域的地图。 既有BO方法（WEIBO、MACE、TuRBO、SCBO等）的采集函数把设计空间视为结构同质，忽略可行域可能因工作区切换、规格折衷与非凸器件物理而碎裂成多个不连通区域；作者称这是首个把TDA用于模拟电路设计自动化的工作。 方法层面给出完整构造：拉丁超立方候选池按可行性得分取前若干比例作为软阈值可行集，归一化后用Mapper（覆盖区间加DBSCAN局部聚类）组装图；作者说明DBSCAN仅作局部子程序，ATLAS消费的是图的连通分量结构，且一套参数设置适用于所有电路、种子与迭代。
拓扑敏感度把候选点分为桥接、前沿与内部三类，桥接与前沿点获得探索奖励；区域访问折扣按访问次数降低已被反复采样的区域得分，质心引导的局部搜索把局部候选分配到各区域质心并按未充分探索程度分配预算。 这三项机制统一进一个采集函数，随预算推进自然退化为加权EI，当拓扑敏感度与折扣关闭时严格还原WEIBO，因此ATLAS是WEIBO的严格推广。 消融实验在TSA上逐一移除机制：完整ATLAS为10/10，去掉质心引导为6/10，去掉衰减为9/10，去掉拓扑敏感度为7/10，去掉区域折扣为9/10；作者指出由于FSD只在成功运行上取平均，被删失的失败使部分变体看似更快，区分这些行的是成功率而非FSD。
在四个基准电路上ATLAS取得最高或并列最高成功率：CMA（10参数、6规格）为100%，唯一有成功的基线CMA-ES仅10%，其余六个基线为0%；TSA为100%，SCBO 60%、CMA-ES 40%、MACE 20%；Comp与LDO上ATLAS与CMA-ES或SCBO同为100%但收敛更快。 作者把差异归因于拓扑碎片化程度：SCBO的自适应信赖域在可行域相对连通的LDO上成功，但在碎片化严重的CMA上完全失败。 每个电路在10个随机规格目标上运行，SPICE预算500次评估，找到可行设计即早停，各方法使用相同初始随机样本；案例研究显示CMA的Mapper区域数峰值超过200而TSA仅约50，且区域数随规格满足度提升而下降。
TDA开销受控：Mapper构建、分类与记账每若干迭代刷新并缓存，TDA步骤最多增加0.04秒（低于2%），区域分配与折扣增加0.03–0.16秒，总可控开销为1–17%，在更慢的工业SPICE下占比会更小。 这回应了拓扑分析是否带来不可接受计算成本的实用顾虑，说明瓶颈仍是仿真次数而非每轮墙钟时间。 表4给出各电路每轮墙钟时间分解，其中仿真时间为开源ngspice运行时间，作者明确说明这不是版图提取、PVT或蒙特卡洛签核。
启示与展望
该结果面向固定电路拓扑下的单目标可行性搜索：目标是找到任一满足全部规格的设计，而非优化单独的品质因数，找到可行设计即早停。实验覆盖四个基准电路（TSA、CMA、Comp、LDO），分别使用GF180MCU与SKY130开源PDK，参数范围跨越两个数量级，每电路10个随机规格目标、500次SPICE评估预算。作者指出仿真时间为开源ngspice运行时间，而非版图提取、PVT或蒙特卡洛签核，因此开销占比在更慢的工业SPICE下会更小。作者还提出Mapper图本身比框架更通用，可作为进化与局部搜索的重启或初始化先验，或作为RL的状态特征，并计划在未来纳入工艺角拓扑以实现PVT感知的尺寸设计。
读者仍需关注若干开放问题：实验限于固定拓扑与单目标可行性，未涉及版图寄生、PVT角或蒙特卡洛签核；作者明确说明把Mapper图用于进化搜索重启先验或RL状态特征的扩展尚未测试，未来工作才纳入工艺角拓扑。此外，加载文本中部分表格数值与公式符号在解析后缺失（如各方法FSD的具体数值、采集函数与调度公式中的符号），因此无法在此复述这些具体数字；若需精确的收敛步数与超参数取值，应查阅原文表格与公式。区域数峰值超过200等案例结论来自CMA单一电路的图示分析，其向其他电路与工艺的推广程度仍需更多证据。