This book addresses one of the most interesting topics in CAD for digital Circuits: design synthesis and optimization, i.e., the generation of detailed specifications of digital circuits from architectural or logical Models and the optimization of some figures of merit, such as performance and area.