Modules running in the period selected: 1.
Click on the module to see the timetable and course details.
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details.MyUnivr
|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
© 2022 | Verona University | Credits