Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Piano Didattico

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
6
B
ING-INF/05
12
B
INF/01
6
B
ING-INF/05
12
B
ING-INF/05
6
B
ING-INF/05
6
C
INF/01

2° Anno   Attivato nell'A.A. 2018/2019

InsegnamentiCreditiTAFSSD
6
B
INF/01
6
B
ING-INF/05
Altre attività formative
4
F
-
Prova finale
24
E
-
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
6
B
ING-INF/05
12
B
INF/01
6
B
ING-INF/05
12
B
ING-INF/05
6
B
ING-INF/05
6
C
INF/01
Attivato nell'A.A. 2018/2019
InsegnamentiCreditiTAFSSD
6
B
INF/01
6
B
ING-INF/05
Altre attività formative
4
F
-
Prova finale
24
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
Due insegnamenti a scelta
6
C
INF/01
6
C
INF/01
6
C
FIS/01
6
C
INF/01
6
C
INF/01
6
C
SECS-P/10
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
Tra gli anni: 1°- 2°
8
D
-

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Software per sistemi embedded (2018/2019)

Codice insegnamento

4S02912

Crediti

6

Coordinatore

Tiziano Villa

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

MoodleMoodle Seminari 0

L'insegnamento è organizzato come segue:

Laboratorio

Crediti

3

Periodo

I semestre

Docenti

Franco Fummi, Graziano Pravadelli, Tiziano Villa

Orario Lezioni
Teoria

Crediti

3

Periodo

I semestre

Docenti

Tiziano Villa, Franco Fummi, Graziano Pravadelli

Orario Lezioni

Obiettivi formativi

Il corso presenta le principali tecniche algoritmiche alla base delle metodologie di progettazione automatica di sistemi embedded.
Si analizzano le piu' importanti strutture dati per rappresentare e ottimizzare descrizioni di sistemi digitali, e si descrivono gli algoritmi utilizzati per la sintesi, verifica e collaudo di sistemi embedded.

Programma

Rappresentazioni di funzioni logiche, logica a piu' valori, diagrammi di decisione binaria, reti a piu' livelli, ottimizzazione di reti logiche rispetto ad area, tempo e consumo energetico. Macchine a stati e circuiti sequenziali, ottimizzazione micro-architetturale.

Definizione dei difetti, caratterizzazione dei difetti, modellazione dei guasti, simulazione dei guasti, modellazione degli errori, simulazione degli errori. Generazione delle sequenze di collaudo per circuiti combinatori e per circuiti sequenziali, circuiti autocollaudanti, tolleranza ai guasti, circuiti di tolleranza ai guasti.

Verifica dinamica basata su asserzioni. Tecniche per la valutazione della qualità delle asserzioni: copertura delle asserzioni, identificazione di asserzioni vacue. Tecniche per la generazione automatica di asserzioni.

Bibliografia

Testi di riferimento
Attività Autore Titolo Casa editrice Anno ISBN Note
Laboratorio Gary D.Hachtel, Fabio Somenzi Logic Synthesis and Verification Algorithms (Edizione 1) Kluwer Academic Publishers 1996 0792397460
Teoria Gary D.Hachtel, Fabio Somenzi Logic Synthesis and Verification Algorithms (Edizione 1) Kluwer Academic Publishers 1996 0792397460

Modalità d'esame

.L'esame consiste in:
- una prova scritta contenente domande ed esercizi;
- un elaborato relativo a una delle tre tematiche trattate nel corso da svolgere con la supervisione di uno dei tre docenti del corso a scelta dello studente.

Il voto finale sara' ottenuto dallo dalla seguente formula: 1/2 * voto scritto + 1/2 voto progetto.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti