Acquiring knowledge about the system level design techniques of embedded systems. Learning how to use standard languages, techniques and methodologies, as well as tools for the successful design of embeded system at the system level.

- ability to develop a system level model of the embedded system using some of the standard System Level languages - ability to profile and optimize system level performance based on the design goals - ability to verify developed embedded system at the system level

Methodology of System-Level design. Models of computation used at system level: finite state machines (FSMs), dataflow, process networks. System-Level design languages: MATLAB, SystemC, SpecC. System-Level modeling: transaction-level modeling (TLM) for communication, processor and RTOS modeling. Specification, profiling and analysis of HW/SW systems. Codesign of hardware and software. System-Level design methodologies and tools for: partitioning, scheduling and communication synthesis. High Level synthesis. System-Level design of low power systems. Verification at the System-Level: verification based on simulation, verification based on formal methods, coverification of hardware and software.

Lectures. Computer labs. Consultations.