Abstract
Digital circuit synthesis is a major field of application for BDDs. We present the design process of these digital circuits, and then describe two applications of BDDs in this process. Firstly, the generation of circuits from their algorithmic descriptions, and secondly, the reduction of the power consumption of these circuits.
