Introduces students to the requirement definition phase of the software development cycle with an emphasis on the design and implementation of system-level software, large architectural models for System-On-Chip systems, electronic-Design-Automation tool flows, and embedded systems. Methodologies for the analysis of system specification, the creation of appropriate descriptions of desired system behaviour and qualities along with relevant constraints and assumptions will be discussed.