Embedded systems design (2010/2011)

Course code
Name of lecturer
Franco Fummi
Franco Fummi
Number of ECTS credits allocated
Other available courses
Academic sector
Language of instruction
II semestre dal Mar 1, 2011 al Jun 15, 2011.

Lesson timetable

II semestre
Day Time Type Place Note
Thursday 3:30 PM - 5:30 PM lesson Lecture Hall G from Mar 11, 2011  to Jun 15, 2011
Friday 8:30 AM - 9:30 AM lesson Lecture Hall I  
Friday 9:30 AM - 11:30 AM laboratorio Laboratory Alfa  

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.

Assertion-based verification.

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
Daniel D. Gajski Embedded system design: modeling, synthesis and verification Springer 2009 978-1-4419-0504-8 Methodologies and languages for embedded systems design
Franco Fummi, Mariagiovanna Sami, Cristina Silvano Progettazione Digitale (Edizione 2) McGraw-Hill 2007 8838663521 In relazione alla progettazione basata su HDL
William Fornaciari, Carlo Brandolese Sistemi Embedded - sviluppo hardware e software per sistemi dedicati (Edizione 1) Pearson Education Italia 2007 9788871923420 Descrizione generale della progettazione di sistemi embedded

Assessment methods and criteria

Written examination and practical design.

Teaching aids