MIS: A Multiple-Level Logic Optimization System | IEEE Journals & Magazine | IEEE Xplore