Michele Ferrari

default
E-mail
michele|ferrari*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
30 giugno 2016
Qualifica
Personale di spin-off

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.


Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 
Competenze
Argomento Descrizione Area di ricerca
Progettazione di sistemi embedded Tecniche per la progettazione automatica di hardware/software per sistemi embedded modellati a livello transazionale (TLM), con particolare attenzione a: - sintesi e astrazione RTL-TLM - astrazione da moduli RTL a software - generazione automatica di transattori TLM - generazione automatica di device driver - software embedded per sistemi multi-core e many-core - modellazione basata su linguaggi di descrizione dell'hardware - progettazione basata su middleware Sistemi ciberfisici
Embedded and cyber-physical systems
Verifica di sistemi embedded Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time Sistemi ciberfisici
Hardware validation
Progetti
Titolo Data inizio
Modellazione e verifica di sistemi embedded 26/11/09


Organizzazione

Strutture del dipartimento

Condividi