Decomposition and technology mapping of speed-independent circuits using Boolean relations | Publicación