TY  - RPRT
TI  - GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis
AU  - Kiran Thorat
AU  - Hongwu Peng
AU  - Yuebo Luo
AU  - Xi Xie
AU  - Shaoyi Huang
AU  - Amit Hasan
AU  - Jiahui Zhao
AU  - Yingjie Li
AU  - Zhijie Shi
AU  - Cunxi Yu
AU  - Caiwen Ding
PY  - 2025
DO  - 10.1109/iccad.2025.11240954
UR  - https://arxiv.org/abs/2511.18297
ID  - 2511.18297
ER  -