arXiv:2607.03701cs.ARcs.CR2026-07被引 1

让大模型在不泄露机密的前提下,安全优化模拟电路设计。

SABLE: An NDA-Safe Closed-Loop LLM Framework for Analog Circuit Optimization in Industrial EDA Flows

论文配图:SABLE: An NDA-Safe Closed-Loop LLM Framework for Analog Circuit Optimization in Industrial EDA Flows
图 1 · 摘自论文原文
  • 通过白名单和数据清洗,实现云端大模型与工业EDA工具的安全闭环交互。
  • 在真实电路任务中,7/11模型成功完成高频振荡器优化,4/11通过复杂运放挑战。
  • 适合需要保护知识产权的芯片公司使用,尤其在联合云协同设计场景。

大型语言模型(LLMs)可提出电路优化决策,但工业模拟流程无法向云端暴露制造厂PDK内容、专有原理图、绝对仿真路径或受许可限制的工具状态。我们提出SABLE(NDA安全的模拟电路优化框架),允许大模型在Cadence Virtuoso、Maestro和Spectre环境中运行,仅返回清洗后的拓扑意图、数值指标、工作点摘要及有限写回状态。'NDA安全'指在被动云提供商威胁模型下强制执行,非形式化非干扰证明。该框架结合显式威胁模型、28个限定的SKILL入口白名单、每条返回路径的PDK/路径/模型清洗、结构化Maestro配置与写回、六项机器校验的严格JSON动作协议及最优状态保存机制。我们在两个真实闭环任务上评估11个大模型检查点,均以工艺-电压-温度(PVT)签核方式在三个角落测试:20 GHz LC-VCO调谐曲线任务和两级运放任务。在LC-VCO任务中7/11模型通过;在更复杂的运放任务中(所有指标需在最差角落满足,相位裕度门控剔除高增益不稳定点),4/11在15次迭代内成功通过。反馈路径消融实验显示,移除任一清洗通道会悄然削弱规范或降低搜索效率。模型质量差异显著,一旦闭环要求工具纪律、偏见推理与规范修复,仍能在保障隐私前提下实现成功优化。

原文摘要 · Abstract (English)

Large language models (LLMs) can propose circuit-optimization decisions, but industrial analog flows cannot expose foundry PDK content, proprietary schematics, absolute simulation paths, or license-bound tool state to a cloud endpoint. We present SABLE (Safe Analog Boundary for LLM-driven EDA), an NDA-safe closed-loop framework that lets LLMs optimize analog circuits through Cadence Virtuoso, Maestro, and Spectre while returning only scrubbed topology intent, numeric metrics, operating-point summaries, and scoped writeback status. "NDA-safe" denotes enforcement under a stated curious-but-passive cloud-provider threat model, not a formal non-interference proof. The framework combines an explicit threat model, a whitelist of 28 scoped SKILL entry points, PDK/path/model scrubbing on every return path, structured Maestro setup and writeback, a strict JSON action contract with six machine-checked stop conditions, and best-so-far state preservation. We evaluate eleven LLM checkpoints from the same documented reset state on two real closed-loop tasks, both run as process-voltage-temperature (PVT) sign-offs across three corners: a 20 GHz LC-VCO tuning-curve task and a two-stage op-amp task. On the LC-VCO task 7 of 11 models pass; on the harder op-amp task, where every metric must hold at the worst corner and a phase-margin gate rejects unstable high-gain points, 4 of 11 pass within a 15-iteration budget. Feedback-path ablations show that removing individual sanitized channels either silently weakens the specification or degrades the search. Model quality differs sharply once the loop requires tool discipline, bias reasoning, and specification repair, yet an NDA-safe boundary still provides enough sanitized feedback for successful analog circuit optimization.

模拟电路大模型EDA隐私保护

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。