Practical aspects of logic synthesis based on functional decomposition | IEEE Conference Publication | IEEE Xplore