====== Course Outline ======

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.

===== Topics =====

  * 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




===== Course Learning Outcomes =====

=== By the end of the course, students should be able to ===

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


===== Tentative Schedule =====

  * 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: