比特世界的构架师：基于真理表的掩码自回归建模用于电路生成
机器学习
2025-07-21 v2
摘要
逻辑综合是电子设计自动化（EDA）中的关键环节，通过优化门级电路来降低集成电路（ICs）的功耗和面积占用。传统逻辑综合工具依赖人类设计的启发式方法，往往产生次优结果。尽管可微分架构搜索（DAS）在从真理表生成电路方面显示出前景，但面临计算复杂度高、易陷入局部最优、以及 extensive 超参数调优等挑战。为此，我们提出一种新方法，将条件生成模型与DAS集成用于电路生成。我们的 approach 首先引入CircuitVQ，基于我们的Circuit AutoEncoder 进行电路标记化训练。随后，我们开发了以CircuitVQ作为标记器的CircuitAR，即一种掩码自回归模型。CircuitAR 可从真理表生成初步电路结构，以指导DAS生成功能等价的电路。值得注意的是，我们观察到我们的方法在生成复杂电路结构方面展现出可扩展性和涌现能力。广泛的实验结果也显示，我们的方法性能卓越。该研究填补了概率生成模型与精确电路生成之间的鸿沟，为逻辑综合提供了稳健的解决方案。
引用
@article{arxiv.2502.12751,
title = {Architect of the Bits World: Masked Autoregressive Modeling for Circuit Generation Guided by Truth Table},
author = {Haoyuan Wu and Haisheng Zheng and Shoubo Hu and Zhuolun He and Bei Yu},
journal= {arXiv preprint arXiv:2502.12751},
year = {2025}
}