Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis