Minimum padding to satisfy short path constraints

Combinational circuits are ojlen embedded in synchronous designs with rnernory elements at the input and output ports. A performance metric for a circuit is the cycle time of the clock signal. Correct circuit operatwn requires that all paths have a delay that lies between an upper bound and a lower bound. Traditional approaches in delay optimizatwn for combinational circuits [9, 3, 6] have dealt with methods to decrease the delay of the longest path. We address the issue of satisfying the lower bound constraints. Such aproblemalso arises in wavepipelining of circuits. We propose to handle shortpath constrains as a postprocessing step after traditional delay optimization techniques. There are two issues presented in this paper. We$rst discuss necessary and su.cient conditwns for successful delay insertion without increasing delays of any longpaths. In the secondpart, we present a naive approach to padding delays (greedy heuristic) and an algorithm based on linear progratruning. We describe an applicatwn of the theory to wave pipelining of circuits. Results are presented on a set of benchmark circuits, using two delay models.

[1]  Giovanni De Micheli,et al.  Inserting active delay elements to achieve wave pipelining , 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[2]  Robert K. Brayton,et al.  Resynthesis of Multi-Phase Pipelines , 1993, 30th ACM/IEEE Design Automation Conference.

[3]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[4]  Wentai Liu,et al.  Timing constraints for wave-pipelined systems , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[5]  C. Leonard Berman,et al.  The fanout problem: from theory to practice , 1989 .

[6]  John P. Fishburn A depth-decreasing heuristic for combinational logic: or how to convert a ripple-carry adder into a carry-lookahead adder or anything in-between , 1991, DAC '90.

[7]  John P. Fishburn,et al.  LATTIS: an iterative speedup heuristic for mapped logic , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[8]  P. G. Paulin,et al.  Logic decomposition algorithms for the timing optimization of multi-level logic , 1989, Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[9]  Robert K. Brayton,et al.  Timing optimization of combinational logic , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

[10]  Robert K. Brayton,et al.  Performance-oriented technology mapping , 1990 .

[11]  N. S. Barnett,et al.  Private communication , 1969 .