Corolla based circuit partitioning and resynthesis | IEEE Conference Publication | IEEE Xplore