Systems on Chip stream

Modern chips are rapidly evolving into complete Systems on Chip (SoCs). The emergence of SoCs leads to new challenges in VLSI design, design automation, programming and code generation, task and communication mapping and scheduling, memory management, and model-driven design-space exploration. This stream addresses the design of SoCs with special attention for the various design trade-offs and formal verification techniques to support correct design.

The following three courses are mandatory for the Systems on Chip stream (for more information about the courses, visit Osiris):

Course code Course name Credits Quartile
2IMF25 Automated reasoning 5 1
5LIH0 Digital integrated circuit design 5 2
5LID0 Systems on silicon 5 4

The System on Chip stream has the following stream electives, of which at least 15 credits should be chosen:

Course code Course name Credits Quartile
5CCA0 Semiconductor physics and materials 5 1
5LIN0 Video processing 5 1
2IMNT1 Embedded computer architectures 2 3 5 2
5LIG0 Applied combinatorial algorithms 5 2
5LIF0 Advanced digital circuit design 5 2
5LIL0 Intelligent architectures 5 3
5LIE0 Multiprocessors 5 3
5LIM0 Parallelization, compilers and platforms 5 3
5SIB0 Electronic design automation 5 3
5LIJ0 Embedded control systems 5 3
5LIA0 Embedded visual control 5 4
2IMF00 Seminar4 formal system analysis 5 4, 6

1  This course has a limited capacity.

In a study program that includes Digital integrated circuit design (5LIH0) it is not allowed to also include Digital integrated circuits: fundamentals (5LIP0), due to overlapping contents.

This course is taught at the University of Twente. TU/e students can follow lectures by watching a live stream from the University of Twente, or watching the recorded video lectures. A secondary enrollment at the University of Twente is required.

A seminar may be followed starting from the fourth quarter of the program. For students starting in the first semester, this implies that the seminar may be followed in the second quarter of the second year.

Stream mentor: prof. dr. Kees Goossens (, prior to the beginning of the academic year you should register for 2IMC81.