course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
course_outline [2021/01/15 17:59] – aboelaze | course_outline [2021/01/21 21:04] (current) – aboelaze | ||
---|---|---|---|
Line 5: | Line 5: | ||
===== Topics ===== | ===== Topics ===== | ||
- | == Introduction to embedded systems Chapter 1 of the textbook | + | * Introduction to embedded systems Chapter 1 of the textbook |
- | == Modelling continuous and discrete systems Chapters 2 and 3 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 | + | * Hybrid systems and composition of state machines Chapters 4 and 5 of the textbook |
- | == Concurrent models of computations Chapter 6 of the textbook | + | * Concurrent models of computations Chapter 6 of the textbook |
- | == Design of digital systems Lectures notes and assigned references | + | * Design of digital systems Lectures notes and assigned references |
- | == Sensors and actuators Chapter 7 of the textbook | + | * 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== | + | * Testing and validation of digital systems parts (rather small parts) of chapters 13-17 and external resources |
Line 26: | Line 26: | ||
=== By the end of the course, students should be able to === | === By the end of the course, students should be able to === | ||
- | * Model systems using the appropriate modelling technique | + | * Model different |
- | * | + | * 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: | ||
course_outline.1610733574.txt.gz · Last modified: 2021/01/15 17:59 by aboelaze