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:
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 |
Title | Starting date |
---|---|
Modellazione e verifica di sistemi embedded | 11/26/09 |
******** CSS e script comuni siti DOL - frase 9957 ********