The course concentrates on the design of modelling, implementation, and validation of digital system. The course contains a considerable laboratory component where students design a rather complex digital system.

• Introduction to embedded systems Chapter 1 of the textbook

• Modelling continuous and discrete systems Chapters 2 and 3 of the textbook

• Hybrid systems and composition of state machines Chapters 4 and 5 of the textbook

• Concurrent models of computations Chapter 6 of the textbook

• Design of digital systems Lectures notes and assigned references

• Sensors and actuators Chapter 7 of the textbook

• Testing and validation of digital systems parts (rather small parts) of chapters 13-17 and external resources

• Model different systems using the appropriate modelling technique
• Design and implement digital systems from specifications
• Test and validate the proposed digital system

• week 1: Introduction to Embedded and cyber-physical systems

• Week 2: Modeling continuous and discrete systems

• Week 3: Implementation issues and Introduction to SystemVerilog

• Week 4: Continue with the above and Composition of state machines

• Week 5: ASM and implementation in SystemVerilog

• Week 6: Concurrent Models of Computations

• Week 7: Sensors and actuators

• Week 8: Equivalence and refinement

• Week 9: Model checking and reachability analysis

• Week 10: Testbenches and verification

• Week 11: Complex digital systems

• Week 12: