This course aims at providing the students with basic and advanced knowledge regarding the automated synthesis of digital circuits and systems, including ASICs (Application-Specific Integrated Circuits) and SoCs (Systems-on-Chip). The course is organized into three mains sections. The first one illustrates the fundamental principles and algorithms which are at the basis of modern CAD (Computer-Aided Design) tools for digital circuits and systems. The second part involves an intensive lab activity, aimed at furnishing the students with some familiarity with existing synthesis environments. Finally, the last section of the course introduces the important problem of power consumption in modern nanometric systems, and focuses the attention on state-of-the-art power modelling and optimization solutions which are suitable to integration in commercial design flows.