Timing optimization on mapped circuits

This paper describes new techniques for timing optimization of CMOS or BiCMOS gate array or standard cell circuits. Based on previous works on critical path resynthsis, technolo y mapping algorithms using dynamic programming tecfmiques, and fanout optimization algorithms, the following new techniques were developed: a hierarchical data structure in which a circuit is partitioned into subcircuits, a new weight function to grade subcircuits in terms of their potential for delay reduction, a critical path resynthesis technique preceded by non critical path resynthsk, a mapping algorithm using tree covering techniques tightly coupled with a fanout optimization algorithm which can treat dual signals not only in sinks but also in sources, and a correction procedure for short paths. A program using these techniques achieves an average speed up of 37% with 27% increase in area on the DAC'86 benchmark set plus several additional circuits from actual designs.

[1]  Robert B. Hitchcock,et al.  Timing Analysis of Computer Hardware , 1982, IBM J. Res. Dev..

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

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

[4]  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.

[5]  Martin Charles Golumbic Combinatorial Merging , 1976, IEEE Transactions on Computers.

[6]  Aart J. de Geus Logic Synthesis and Optimization Benchmarks for the 1986 Design Automation Conference , 1986, DAC 1986.

[7]  David E. Wallace,et al.  High-level delay estimation for technology-independent logic equations , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[8]  Alberto L. Sangiovanni-Vincentelli,et al.  A heuristic algorithm for the fanout problem , 1991, DAC '90.

[9]  Kurt Keutzer DAGON: Technology Binding and Local Optimization by DAG Matching , 1987, DAC.

[10]  Louise Trevillyan,et al.  LSS: A system for production logic synthesis , 1984, IBM Journal of Research and Development.