Title :
Retiming and resynthesis: optimizing sequential networks with combinational techniques
Author :
Malik, Sharad ; Sentovich, Ellen M. ; Brayton, Robert K. ; Sangiovanni-Vincentelli, Alberto
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
fDate :
1/1/1991 12:00:00 AM
Abstract :
Sequential networks contain combinational logic blocks separated by registers. Application of combinational logic minimization techniques to the separate logic block results in improvement that is restricted by the placement of the registers; information about logical dependencies between blocks separated by registers is not utilized. Temporarily moving all the registers to the periphery of a network provides the combinational logic minimization tools with a global view of the logic. A technique is proposed for optimizing a sequential network by moving the registers to the boundary of the network using an extension of retiming, resynthesizing the combinational logic between the registers using existing logic minimization techniques, and replacing the registers throughout the network using retiming algorithms
Keywords :
combinatorial circuits; logic CAD; minimisation; sequential circuits; MCNC FSM benchmark; combinational logic blocks; combinational techniques; logic CAD; minimization; pipelined circuits; registers; resynthesis; retiming; sequential networks; timing; Automata; Circuit synthesis; Costs; Latches; Logic; Minimization; Network synthesis; Registers; Sequential circuits;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on