An efficient method for the decomposition and resynthesis of speed-independent circuits | IEEE Conference Publication | IEEE Xplore