PLATO-a CAD tool for logic synthesis based on decomposition | IEEE Conference Publication | IEEE Xplore