Retiming and Resynthesis: Optimizing Sequential Circuits Using Combinational Techniques | AMiner