Boolean techniques for low power driven re-synthesis | IEEE Conference Publication | IEEE Xplore