Politecnico di Torino
Politecnico di Torino
Politecnico di Torino
Academic Year 2009/10
Synthesis and optimization of digital systems
Master of science-level of the Bologna process in Computer Engineering - Torino
Teacher Status SSD Les Ex Lab Tut Years teaching
Macii Enrico ORARIO RICEVIMENTO PO ING-INF/05 3 1 1 0 5
SSD CFU Activities Area context
ING-INF/05 5 B - Caratterizzanti Ingegneria informatica
Objectives of the course
This course aims at providing the students with basic and advanced knowledge regarding computer-aided design (CAD) methodologies and software tools for digital circuits and systems, including ASICs (Application-Specific Integrated Circuits) and SoCs (Systems-on-Chip). Theoretical lectures will be complemented by hands-on lab sessions that will allow the students to familiarize with the tools presented during the lectures.
Fundamental concepts of digital electronics and basic principles of circuit and system design; basic knowledge of computer programming in C and C++; basic concepts of digital system specification using hardware description languages, such as Verilog and VHDL; fundamental principles of digital circuit and system simulation.
Introduction to computer-aided design of digital circuits and systems.
Design space.
Technology constraints.
Market constraints.
Design flow.
Modeling of digital circuits and systems.
Formalisms for Boolean function representation.
Hardware description languages.
Principles of computer-aided design.
Metrics and cost functions.
Logic synthesis and link to physical design.
Behavioral synthesis.
Design and optimization of Systems-on-Chip (SoCs)
Memory hierarchy
Communication buses.
Embedded system architectures.
Hardware-software co-design.
Design of low-power digital circuits and systems.
Power modeling and estimation.
Logic and physical level optimization.
Architectural and system level optimization.
Software optimization.
Laboratories and/or exercises
Hands-on lab sessions will be of two types. First, students will have a chance to familiarize with some existing CAD tools, such as physical, logic and behavioral synthesizers, simulators, power estimators, applied to simple design examples. Second, students will be assigned a small design project, whose execution will require the extensive usage of some of the aforementioned tools.
[1] G. De Micheli, Synthesis and Optimization of Digital Circuits, McGraw-Hill, 1994.
[2] G. D. Hachtel, F. Somenzi, Algorithms for Logic Synthesis and Verification,
Kluwer Academic Publishers, 1996.
[3] Hand-outs and class notes provided by the instructor.

Programma definitivo per l'A.A.2009/10

© Politecnico di Torino
Corso Duca degli Abruzzi, 24 - 10129 Torino, ITALY
WCAG 2.0 (Level AA)