GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis.

Kiran Thorat, Hongwu Peng, Yuebo Luo, Xi Xie, Shaoyi Huang, Amit Hasan, Jiahui Zhao, Yingjie Li, Zhijie Shi, Cunxi Yu, Caiwen Ding

Browse the full ICCAD paper archive.