Embedded systems design (2013/2014)

Course code
Name of lecturer
Franco Fummi
Franco Fummi
Number of ECTS credits allocated
Academic sector
Language of instruction
I semestre dal Oct 1, 2013 al Jan 31, 2014.

Lesson timetable

I semestre
Day Time Type Place Note
Wednesday 3:30 PM - 5:30 PM lesson Laboratory Gamma  
Friday 8:30 AM - 11:30 AM lesson Lecture Hall I  

Learning outcomes

The aim of this course is the presentation of some design automation techniques for embedded systems covering the entire design flow through modeling, verification, synthesis and testing. The most important design languages are introduced such as the most advanced EDA tools.


Introduction to embedded systems.

Embedded systems modeling.

Embedded systems design alternatives.

System-level design.

Transactional Level Modeling (TLM) by using SystemC.

Introduction to Assertion-based verification (ABV).

Platform-based design.

Embedded software design.

HW/SW/NET co-simulation.

Register transfer level (RTL) hardware description languages (VHDL/SystemC).

Automatic synthesis from RTL designs.

The problem of testing.

The problem of dependability.

Reference books
Author Title Publisher Year ISBN Note
William Fornaciari, Carlo Brandolese Sistemi Embedded - sviluppo hardware e software per sistemi dedicati (Edizione 1) Pearson Education Italia 2007 9788871923420 libro di possibile riferimento

Assessment methods and criteria

Written examination and laboratory activity.

Teaching aids


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

Outcomes Exams Outcomes Percentages Average Standard Deviation
Positive 75.0% 27 3
Rejected --
Absent --
Ritirati 25.0%
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% 33.3% 0.0% 0.0% 0.0% 0.0% 0.0% 33.3% 0.0% 33.3%

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