CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs
DGX agentarXiv:2610.09549v1 Announce Type: new Abstract: And-Inverter Graphs (AIGs) are fundamental representations for logic synthesis and verification in Electronic Design Automation (EDA). As structured rep