course_outline
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
course_outline [2007/07/31 19:53] – external edit 127.0.0.1 | course_outline [2021/01/21 21:04] (current) – aboelaze | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Course Outline ====== | ====== Course Outline ====== | ||
- | The course | + | The course |
- | ===== Week 1 ===== | + | ===== Topics |
- | Your notes here. | + | * 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 | ||
+ | |||
+ | * 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: | ||
- | ===== Week 2 ===== | ||
- | ===== Midterm ===== | ||
- | ===== Drop Deadline ===== | ||
- | ===== Week 13 ===== | ||
- | ===== Final Exam ===== | ||
course_outline.1185911597.txt.gz · Last modified: 2021/01/15 17:56 (external edit)