Modelling Theory for System on Chip and Embedded Systems

Design methodology and system models, models for behaviour, finite state machines (FSM) and concurrency, models of time, process models, synchronous model assumption, models for communication, event based models, model domain interfaces, process networks, non-determinism and probability.

A: Knowledge: 1 - The student shall have a deep understanding of the advanced theoretical models which are the logical and computational basis for descriptions of systems on chip (SoC) and embedded systems. 2 - The student shall understand how such advanced models are combined and used in terms of relevant applications within areas such as specification, simulation, verification, and synthesis. B Skills: 1 - The student shall be able to analyse and develop models for system level descriptions and the necessary abstractions and principles therein for the specification, simulation, verification, and synthesis of systems on chip (SoC) and embedded systems.

Colloquium, self study, term assignment