Technology mapping for speed-independent circuits: Decomposition and resynthesis | Publicación