Low-power driven technology mapping under timing constraints

Most research in logic synthesis has mainly focussed on area and delay optimizations. In this paper, we focus on the problem of mapping a technology independent circuit to a library of gates such that power is minimized while satisfying some user-specific timing constraints. Such timing constraints can often be rather stringent. We present a new technology mapping algorithm based on extending the dynamic programming paradigm for low-power under timing constraints. The effectiveness of this algorithm is based on two key observations: first, the switching activities of different nodes in a network can vary significantly; and second, the power contribution from a node is directly proportional to its switching activity. Therefore, it is possible to significantly optimize for low power by minimizing the fanout load of "high" switching nodes whenever possible, and trying to compensate instead for delay at the fanout of "lower" switching nodes. In addition to extending dynamic programming for low power under timing constraints, we have also developed optimization techniques that can be used to optimize further for low power and delay. We present experimental results on a large set of standard benchmarks to demonstrate that substantial optimization is possible.<<ETX>>

[1]  Robert K. Brayton,et al.  Sequential circuit design using synthesis and optimization , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

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

[3]  Soha Hassoun,et al.  A 200-MHz 64-bit Dual-Issue CMOS Microprocessor , 1992, Digit. Tech. J..

[4]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[5]  Kurt Keutzer,et al.  Estimation of average switching activity in combinational and sequential circuits , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[6]  Giovanni De Micheli,et al.  Technology mapping using Boolean matching and don't care sets , 1990, Proceedings of the European Design Automation Conference, 1990., EDAC..

[7]  Farid N. Najm,et al.  Transition density, a stochastic measure of activity in digital circuits , 1991, 28th ACM/IEEE Design Automation Conference.

[8]  Massoud Pedram,et al.  A near optimal algorithm for technology mapping minimizing area under delay constraints , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.