Syllabus: Design of embedded systems