M-trie: an efficient approach to on-chip logic minimization | IEEE Conference Publication | IEEE Xplore