Modules running in the period selected: 2.
Click on the module to see the timetable and course details.
|Basic CAD algorithms||Definition of basic algorithms for the design of electronic systems, with particular emphasis on: - Synthesis of sequential and combinational systems - Discrete event systems - Physical design||
Hardware - Electronic design automation
|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 - Hardware validation
|C4C - Control for Coordination of Distributed Systems||5/1/08|
|COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems||1/1/08|
|component||Collegio Didattico di Informatica - Department Computer Science|
|component||Computer Science Department Council - Department Computer Science|