CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs

Qifan Zhang, Ruijie Li, Fangzhou Zhang +6

And-Inverter Graphs (AIGs) are fundamental representations for logic synthesis and verification in Electronic Design Automation (EDA). As structured representations of complex digi…