Design automation of embedded systems (2018/2019)

Course code
Tiziano Villa
Academic sector
Language of instruction
Teaching is organised as follows:
Activity Credits Period Academic staff Timetable
Teoria 3 I semestre Tiziano Villa, Franco Fummi, Graziano Pravadelli

Go to lesson schedule

Laboratorio 3 I semestre Franco Fummi, Graziano Pravadelli, Tiziano Villa

Go to lesson schedule

Learning outcomes

This class introduces the fundamental algorithms for the automatic design of embedded systems, with particular emphasis on data structures to design and optimize digital systems and on automatic techniques for synthesis, verification and testing of embedded systems.


Representation of logic functions, multi-valued logic, binary decision diagrams, multi-level logic, netlist optimization with respect to area, timing and power consumption. State machines and sequential circuits, micro-architectural optimization.

Definition, characterization and simulation of defects, fault and error modeling, fault and error simulation. Test generation for combinatorial and sequential circuits, built-in self test, fault tolerance.

Dynamic assertion-based verification. Assertion qualification: assertion coverage, vacuum cleaning. Automatic generation of assertions.

Assessment methods and criteria

The exam includes:
- a written test with exercises and open questions covering the three parts of the program
- a project chosen by the student in one of the three parts of the program, under the supervision of the related instructor

The final score is the average of the scores in the written test and in the class project.

Reference books
Activity Author Title Publisher Year ISBN Note
Teoria Gary D.Hachtel, Fabio Somenzi Logic Synthesis and Verification Algorithms (Edizione 1) Kluwer Academic Publishers 1996 0792397460
Laboratorio Gary D.Hachtel, Fabio Somenzi Logic Synthesis and Verification Algorithms (Edizione 1) Kluwer Academic Publishers 1996 0792397460
Teaching aids
Title Format (Language, Size, Publication date)
Calendario delle lezioni (it, 28 KB, 16/10/18)
Introduzione a Ariadne  pdfpdf (en, 610 KB, 17/01/19)
I sistemi ciberfisici (articolo SIGDA P. Nuzzo)  pdfpdf (en, 138 KB, 16/10/18)
Progetto Acquamondo  pdfpdf (it, 214 KB, 17/01/19)
Sintesi Logica - Esercitazioni  pdfpdf (it, 279 KB, 30/11/18)
Sintesi Logica - Laboratorio CUDD  x-gzipx-gzip (en, 2803 KB, 04/01/19)
Sintesi Logica - Laboratorio Espresso  x-gzipx-gzip (en, 1853 KB, 04/01/19)
Sintesi Logica - Laboratorio SIS  x-gzipx-gzip (en, 14651 KB, 04/01/19)
Sintesi Logica - Presentazione CUDD  pdfpdf (en, 427 KB, 04/01/19)
Sintesi Logica - Presentazione Espresso  pdfpdf (en, 574 KB, 04/01/19)
Sintesi Logica - Presentazione SIS  pdfpdf (en, 1478 KB, 04/01/19)
Sintesi Logica - Teoria  x-gzipx-gzip (en, 1965 KB, 09/10/18)