Efficient minarea retiming of large level-clocked circuits | IEEE Conference Publication | IEEE Xplore