course_outline
Table of Contents
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:
course_outline.txt · Last modified: 2021/01/21 21:04 by aboelaze