Synthesis of Digital Circuits

Circuits and models - introduction; background; hardware modelling; architectural-level synthesis and modelling - architectural synthesis; scheduling algorithms; resource sharing and binding; logic-level synthesis and optimization; multiple-level combinational logic optimization; sequential logic optimization; cell-library binding; conclusions - present status and future trends.