Presentation
Shortcircuit: Alphazero-Driven Generative Circuit Design
DescriptionTraditional logic synthesis heuristics have plateaued. We introduce ShortCircuit, a novel transformer-based architecture generating AND-Inverter Graphs (AIGs) directly from truth tables. Unlike prior deep learning efforts, we employ a two-phase training process combining supervised learning and an AlphaZero variant to navigate the doubly exponential state space. Evaluated on 500 8-input truth tables from real-world circuits, ShortCircuit guarantees functional correctness and outperforms the state-of-the-art tool ABC in circuit size. Furthermore, our greedy rollout mechanism achieves a 31×speedup, demonstrating significant efficiency gains.
Event Type
Research Manuscript
TimeMonday, July 2710:30am - 10:43am PDT
LocationMtg Room 101A