@misc{indiciaef49de1a197eb, title = {CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs}, author = {Qifan Zhang and Ruijie Li and Fangzhou Zhang and Qian Ma and Hui Li and Furui Zhan and Yongpeng Wang and Liying Hao and Shikai Guo}, year = {2026}, url = {https://arxiv.org/abs/2610.09549}, note = {Source identifier: 2610.09549} }