Abstract
Logic synthesis, a critical stage in electronic design automation (EDA),optimizes gate-level circuits to minimize power consumption and area occupancyin integrated circuits (ICs). Traditional logic synthesis tools rely onhuman-designed heuristics, often yielding suboptimal results. Althoughdifferentiable architecture search (DAS) has shown promise in generatingcircuits from truth tables, it faces challenges such as high computationalcomplexity, convergence to local optima, and extensive hyperparameter tuning.Consequently, we propose a novel approach integrating conditional generativemodels with DAS for circuit generation. Our approach first introducesCircuitVQ, a circuit tokenizer trained based on our Circuit AutoEncoder We thendevelop CircuitAR, a masked autoregressive model leveraging CircuitVQ as thetokenizer. CircuitAR can generate preliminary circuit structures from truthtables, which guide DAS in producing functionally equivalent circuits. Notably,we observe the scalability and emergent capability in generating complexcircuit structures of our CircuitAR models. Extensive experiments also show thesuperior performance of our method. This research bridges the gap betweenprobabilistic generative models and precise circuit generation, offering arobust solution for logic synthesis.