Abstract: In order to improve the efficiency of area optimization of re-synthesis algorithm by using slack in sequential circuits, the concept of slack is expanded, decision rules based on slack parameters are made, restriction on the scope of the mapping is broken by local retiming and the requirement of clock cycle is guaranteed by global retiming.Experimental results show that the proposed algorithm is efficient.