Design automation of embedded systems (2014/2015)

Course code
4S02912
Name of lecturers
Tiziano Villa, Franco Fummi, Graziano Pravadelli
Coordinator
Tiziano Villa
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
I sem. dal Oct 1, 2014 al Jan 30, 2015.

Lesson timetable

I sem.
Day Time Type Place Note
Tuesday 10:30 AM - 1:30 PM lesson Lecture Hall G  
Wednesday 11:30 AM - 1:30 PM lesson Lecture Hall G  

Learning outcomes

The course 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.

Syllabus

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

Written examination (ON/OFF) plus a project chosen in one of the three main areas covered in the class.

Teaching aids

Documents

Statistics about transparency requirements (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistics
Outcomes Exams Outcomes Percentages Average Standard Deviation
Positive 100.0% 30 0
Rejected --
Absent --
Ritirati --
Canceled --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 26.6% 73.3%

Data from AA 2014/2015 based on 15 students. I valori in percentuale sono arrotondati al numero intero più vicino.