Boolean decomposition in multilevel logic optimization | IEEE Journals & Magazine | IEEE Xplore