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. 2026/2027 A.A. 2025/2026

Queste informazioni sono destinate esclusivamente alle future matricole che si iscriveranno per l'A.A. 2025/2026.
Se sei già iscritta/o a questo corso di studi, consulta le informazioni disponibli alla pagina del corso:

Laurea magistrale in Computer Engineering for Intelligent Systems [LM-32] - Immatricolazione fino a 2024/2025

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
6
B
ING-INF/04
6
B
ING-INF/05
12
B
ING-INF/05
12
C
ING-INF/06

2° Anno   Sarà attivato nell'A.A. 2026/2027

InsegnamentiCreditiTAFSSD
Final exam
24
E
-
Sarà attivato nell'A.A. 2026/2027
InsegnamentiCreditiTAFSSD
Final exam
24
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
4 modules among:
- 1st year - Embedded operating systems, Embedded & IoT Systems design, Robotics, Computer vision, Advanced visual computing and 3D modeling - delivered in 2025/2026
- 2nd year - Advanced control systems - delivered in 2026/2027
6
B
ING-INF/04
6
B
ING-INF/05
6
B
ING-INF/05
6
B
ING-INF/05
6
B
ING-INF/05
6
B
ING-INF/04
Tra gli anni: 1°- 2°
3 modules among:
- 2nd year -  Advanced methods for biomedical signal processing, Neurohealth, Medical robotics, Internet of Medical things - delivered in 2026/2027
- 1st or 2nd year - Mathematical modeling for Industrial and medical digital twins, Cloud computing and distributed systems - delivered in 2025/2026 or in 2026/2027
6
C
ING-INF/06
6
C
INF/01
6
C
INF/01 ,MED/50
6
C
MAT/07
6
C
ING-INF/04 ,MED/50
6
C
ING-INF/06 ,MED/37
Tra gli anni: 1°- 2°
Further activities
6
F
-
Tra gli anni: 1°- 2°
12
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

Systems verification & testing  (2025/2026)

Codice insegnamento

4S009017

Docenti

Franco Fummi, Graziano Pravadelli

Coordinatore

Franco Fummi

Crediti

6

Offerto anche nei corsi:

Lingua di erogazione

Inglese en

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Periodo

I semestre dal 1 ott 2025 al 30 gen 2026.

Corsi Singoli

Autorizzato

Orario Lezioni MoodleMoodle Seminari 0

Obiettivi di apprendimento

Il corso si propone di formare gli studenti in ambito di tecniche algoritmiche, linguaggi e strumenti automatici alla base delle metodologie di verifica e collaudo di sistemi digitali e analogici complessi. In particolare, l’obiettivo principale del corso è quello di spiegare come sia possibile rappresentare sistemi complessi mediante piattaforme virtuali in relazione con la loro realizzazione fisica e garantire la sicurezza funzionale e il processo di certificazione dei dispositivi che li compongono. A completamento del corso, gli studenti dovranno dimostrare di avere acquisito le conoscenze fondamentali per comprendere metodologie e strumenti necessari per verificare e collaudare dispositivi analogico/digitali complessi, per garantirne la loro sicurezza funzionale, e per certificarli. Queste conoscenze consentiranno agli studenti di: rappresentare sistemi analogico/digitali sotto forma di piattaforme virtuali; definire metodologie di verifica basata su tecniche dinamiche e semi-formali; sviluppare approcci per il collaudo e la tolleranza ai guasti; utilizzare, integrare e sviluppare strumenti automatici per la modellazione, verifica e collaudo di sistemi analogico/digitali; attivare i processi di certificazione. Al termine del corso lo studente avrà acquisito la capacità di: realizzare un progetto laboratoriale e di presentarne i relativi risultati motivando le scelte effettuate con appropriatezza di linguaggio; proseguire anche autonomamente lo studio e la ricerca in ambito di verifica, collaudo e certificazione di sistemi analogico/digitali complessi affrontando tematiche avanzate sia in ambito industriale che in ambito scientifico.

Prerequisiti e nozioni di base

Per apprendere al meglio gli argomenti trattati nel corso è necessario avere conoscenze in ambito di progettazione di sistemi HW/SW

Programma

A. Systems modeling and veriifcation
- SystemVerilog
- ABV introduction
- ABV - specification languages
- ABV - assertion automatic generation
- ABV - assertion qualification: coverage
- ABV - assertion qualification: vacuity
- ABV - assertion qualification: overspecification
B. Systems testing and certiifcation
- Faults-defects-errors definition
- Digital faults modeling
- Analog faults modeling
- verilog-AMS
- Systemc-AMS
- Gate-level simulation
- Fault simulation
- Combinational ATPG
- Sequantial ATPG
- Design for testability
- Self-testing circuits
- Fault tollerance
- Functional safety
- Certification for safety

Bibliografia

Vai alla bibliografia
Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Modalità didattiche

Il corso è organizzato in lezioni frontali, esercitazioni e attività pratiche al calcolatore.

Modalità di verifica dell'apprendimento

L'esame finale consiste di due parti:
- una prova scritta della durata di massimo 2 ore, contenente 4 quesiti costituiti da domande aperte ed esercizi (due relative all'ambito della verifica e due all'ambito del testing);
- una relazione in cui si descrive l'applicazione a un caso di studio di tutto quanto appreso nelle esercitazioni di laboratorio. In alternativa a questa relazione, è possibile svolgere un progetto connesso alla tesi.

L’esame è il medesimo sia per gli studenti frequentanti sia per gli studenti non frequentanti. Non sono previste prove intermedie.

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

Criteri di valutazione

Per superare l'esame gli studenti dovranno dimostrare di:
- aver compreso i principi legati alla verifica e al testing di un sistema;
- essere in grado di esporre le proprie argomentazioni in modo preciso e organico senza divagazioni;
- saper applicare le conoscenze acquisite per risolvere problemi applicativi presentati sotto forma di esercizi, domande e progetti.

Criteri di composizione del voto finale

Il voto finale è dato dalla somma pesata del voto di teoria e della relazione di laboratorio.

Lingua dell'esame

English

Sustainable Development Goals - SDGs

Questa iniziativa contribuisce al perseguimento degli Obiettivi di Sviluppo Sostenibile dell'Agenda 2030 dell'ONU.
Maggiori informazioni su www.univr.it/sostenibilita