Michele Ferrari

  1. Home
  2. Department
  3. People
  4. Michele Ferrari
default
E-mail
michele|ferrari*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
June 30, 2016
Position
Spin-off staff

Modules

Modules running in the period selected: 0.
Click on the module to see the timetable and course details.


Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
Research interests
Topic Description Research area
Embedded system design Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on: - TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multicore systems - Hardware description language-based modeling - Middleware-based design Embedded and cyber-physical systems
Embedded system verification Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems Hardware validation
Projects
Title Starting date
Modellazione e verifica di sistemi embedded 11/26/09


Organization

Department facilities

Share