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

##article.return## GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis Download Download PDF