Modules running in the period selected: 1.
Click on the module to see the timetable and course details.
|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
|TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development||9/1/11|
|COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems||1/1/08|
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2021 | Verona University | Credits