Design automation tools for efficient implementation of logic functions by decomposition | IEEE Journals & Magazine | IEEE Xplore