Introduction
Methods for representing Boolean functions : basic definitions
Binary decision diagrams
Theoretical basis of decomposition
Decomposition of functions described using BDD
Ordering variables in BDD diagrams
Nondisjoint decomposition
Decomposition of multioutput functions described using BDD
Partial sharing of logic resources
Ability of the configuration of configurable logic blocks
Technology mapping of logic functions in LUT blocks
Technology mapping of logic functions in complex logic blocks
Decomposition methods of FSM implementation
Algorithms for decomposition and technological mapping
Results of experiments
Summary.