BDD techniques to reduce switching activity in logic circuits

This paper presents several techniques to synthesize logic circuits for low power based on split BDDs. The objective is to generate 2-input multiplexer circuits with reduced switching activity, since switching activity is an important contribution to power dissipation. Keywords— switching activity, BDDs, cofactor.

[1]  Chen-Shang Lin,et al.  On the OBDD-Representation of General Boolean Functions , 1992, IEEE Trans. Computers.

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

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

[4]  Sheldon B. Akers,et al.  Binary Decision Diagrams , 1978, IEEE Transactions on Computers.

[5]  Marios C. Papaefthymiou,et al.  Precomputation-based sequential logic optimization for low power , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[6]  Richard Rudell.  Dynamic variable ordering for ordered binary decision diagrams , 1993, ICCAD.