Preprint Open access
CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs
And-Inverter Graphs (AIGs) are fundamental representations for logic synthesis and verification in Electronic Design Automation (EDA). As structured representations of complex digital systems, AIGs require models to capture functional dependencies beyond local structure and remain robust to functionality-preserving tra …