A power driven two-level logic optimizer | IEEE Conference Publication | IEEE Xplore