Technology-Dependent Logic Optimization | IEEE Journals & Magazine | IEEE Xplore