Differences

This shows you the differences between two versions of the page.

--- course_outline [2021/01/15 17:56] – aboelaze
+++ course_outline [2021/01/21 21:04] (current) – aboelaze
@@ Line 5: / Line 5: @@
 ===== 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 ===
-  * Model systems using the appropriate modelling technique
+  * 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: