TY  - RPRT
TI  - CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs
AU  - Qifan Zhang
AU  - Ruijie Li
AU  - Fangzhou Zhang
AU  - Qian Ma
AU  - Hui Li
AU  - Furui Zhan
AU  - Yongpeng Wang
AU  - Liying Hao
AU  - Shikai Guo
PY  - 2026
UR  - https://arxiv.org/abs/2610.09549
ID  - 2610.09549
ER  -