Embedded systems design (2012/2013)

Course code 4S02911 Teacher Franco Fummi Coordinator Franco Fummi training credits 6 Study courses to which this belongs Laurea magistrale in Ingegneria e scienze informatiche"> Laurea magistrale in Ingegneria e scienze informatiche Disciplinary sector ING-INF/05 - Information Processing Systems Teaching language Italian Period I semestre dal Oct 1, 2012 al Jan 31, 2013.

Links Course news Seminars related to the course

Lecture timetable

Educational objectives

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.

Syllabus

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.

Exam methods

Written examination and laboratory activity.

Teaching aids
Title	Format (Language, Size, Publication date)
Programma dettagliato	html (it, 23.776 KB, 9/13/12)

Statistics on students' past performance (Art. 2 del D.M. 31/10/2007, n. 544)

Data from AA 2012/2013 are not available yet