|Tuesday||10:30 AM - 1:30 PM||lesson||Lecture Hall F|
|Thursday||12:30 PM - 2:30 PM||lesson||Lecture Hall B|
The course introduces the fundamental methodologies for the automatic design of embedded systems, with particular emphasis on algorithms for synthesis, verification and testing.
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.
Assertion coverage, vacuum cleaning, automatic generation of checkers.
Written examination (ON/OFF) plus a project chosen in one of the three main areas covered in the class.
|Outcomes Exams||Outcomes Percentages||Average||Standard Deviation|
|18||19||20||21||22||23||24||25||26||27||28||29||30||30 e Lode|
Data from AA 2009/2010 based on 3 students. I valori in percentuale sono arrotondati al numero intero più vicino.