arXiv:2410.00995cs.LG2024-10中稿 · Engineering

用AI根据设计需求自动生成模拟电路,支持一规多解。

CktGen: Automated Analog Circuit Design with Generative Artificial Intelligence

  • 将电路与规格映射到联合潜空间,解耦编码并对比对齐。
  • 在公开基准上超越现有方法,实现更优的电路生成效果。
  • 适合芯片设计自动化、AI辅助电路工程师使用。

模拟电路自动合成面临巨大挑战。现有方法多将其视为单目标优化问题,忽略了同一类电路在不同应用场景下的设计规格差异。为此,我们提出规格条件下的模拟电路生成任务,直接依据目标规格生成电路。核心思想是利用已有优质电路提升自动化水平。我们提出CktGen,一种简单有效的变分自编码器,将离散化规格与电路映射至联合潜空间,并从潜向量重构电路。值得注意的是,单一规格可能对应多个有效电路,若简单融合规格信息,模型难以捕捉这种一对多关系。因此,我们解耦电路与规格的编码过程,并对齐其潜空间。通过引入滤波掩码进行对比学习,最大化编码后电路与规格之间的差异。同时,结合分类器引导与潜特征对齐,促进同规格电路聚类,防止模型退化为平凡的一一映射。通过对潜空间按规格规范化,可搜索满足有效目标规格的最优电路。我们在开放电路基准上开展全面实验,并引入评估跨模型一致性的指标。结果表明,CktGen显著优于当前最先进方法。

原文摘要 · Abstract (English)

The automatic synthesis of analog circuits presents significant challenges. Most existing approaches formulate the problem as a single-objective optimization task, overlooking that design specifications for a given circuit type vary widely across applications. To address this, we introduce specification-conditioned analog circuit generation, a task that directly generates analog circuits based on target specifications. The motivation is to leverage existing well-designed circuits to improve automation in analog circuit design. Specifically, we propose CktGen, a simple yet effective variational autoencoder that maps discretized specifications and circuits into a joint latent space and reconstructs the circuit from that latent vector. Notably, as a single specification may correspond to multiple valid circuits, naively fusing specification information into the generative model does not capture these one-to-many relationships. To address this, we decouple the encoding of circuits and specifications and align their mapped latent space. Then, we employ contrastive training with a filter mask to maximize differences between encoded circuits and specifications. Furthermore, classifier guidance along with latent feature alignment promotes the clustering of circuits sharing the same specification, avoiding model collapse into trivial one-to-one mappings. By canonicalizing the latent space with respect to specifications, we can search for an optimal circuit that meets valid target specifications. We conduct comprehensive experiments on the open circuit benchmark and introduce metrics to evaluate cross-model consistency. Experimental results demonstrate that CktGen achieves substantial improvements over state-of-the-art methods.

电路生成生成模型AI设计

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