design synthesis and optimization, i.e., the generation of detailed specifications of digital circuits from architectural or logic models and the optimization of some figures of merit, such as performance and area. This allows a designer to concentrate on the circuit specification issues and to let the CAD programs elaborate and optimize the corresponding representations until appropriate for implementation in some fabrication technology.