Logic transformation for low power synthesis

In this paper we present a new approach to the problem of local logic transformation for reduction of power dissipation in logic circuits. Based on the finite-state input transition (FIT) power dissipation model, we introduce a cost function which accounts for the effects of input capacitance, input slew rate, internal parasitic capacitance of logic gates, interconnect capacitance, as well as switching power. Our approach provides an efficient way of estimating estimating the global effect of local logic transformations in logic circuits. In our approach, the FIT model for the transitive fanout cells of a locally transformed subcircuit can be reused to measure the global power dissipation by varying the input probabilities of the transitive fanout cells. Local logic transformation is carried our based on compatible sets of permissible functions (CSPF). Experimental results show that local logic transformation based on CSPF using our cost function can reduce power consumption by about 36% on average without increase in the worst-case circuit delay.

[1]  Yahiko Kambayashi,et al.  The Transduction Method-Design of Logic Networks Based on Permissible Functions , 1989, IEEE Trans. Computers.

[2]  Massoud Pedram,et al.  POSE: power optimization and synthesis environment , 1996, DAC '96.

[3]  Chi-Ying Tsui,et al.  Technology Decomposition and Mapping Targeting Low Power Dissipation , 1993, 30th ACM/IEEE Design Automation Conference.

[4]  Sarma B. K. Vrudhula,et al.  Multi-level logic optimization for low power using local logic transformations , 1996, Proceedings of International Conference on Computer Aided Design.

[5]  Shih-Chieh Chang,et al.  Perturb and simplify: multilevel Boolean network optimizer , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[6]  Bernhard Rohfleisch,et al.  Reducing power dissipation after technology mapping by structural transformations , 1996, DAC '96.

[7]  B. T. Murphy VLSI - Directions and Impact , 1979, Fifth European Solid State Circuits Conference - ESSCIRC 79.

[8]  Hiroshi Sawada,et al.  A new method to express functional permissibilities for LUT based FPGAs and its applications , 1996, Proceedings of International Conference on Computer Aided Design.