Differences

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

--- 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 ======
-The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed:
+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.
-===== 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 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:
-===== Week 2 =====
-===== Midterm =====
-===== Drop Deadline =====
-===== Week 13 =====
-===== Final Exam =====