Design and Programming of Embedded Systems

We will teach you how to build embedded digital systems with SW and HW components, with a special focus on embedded systems and networks-on-chip. A big part of the course is dedicated to design, testing and analysis at a system level. After you graduate, this knowledge will give you a comparative advantage not only in system design and analysis but also in formal verification that is getting ever more important in industry. The specialization builds on the systems theory and the fundamentals of discrete mathematics and combinatorial optimization.

What will you learn?

You will be able to use your knowledge of design, modelling and verification of digital and embedded systems. You will become specialists in construction of systems resilient to failures. You will be able to:

  • Design, model and verify digital and embedded systems
  • Design systems-on-chip (SoC) and programmable hardware (SoPC, FPGA)
  • Understand the architecture and properties of processors and the design of digital circuits

What jobs will you be able to do?

Companies will appreciate you as experts in discreet work with information through designing digital circuits and systems with hardware and software components. You will become specialists in designing embedded systems and mobile devices. You can become:

  • Designer of embedded software and hardware and mobile devices
  • Designer of digital circuits and systems with hardware and software components
  • Verification engineer

prof. Ing. Hana Kubátová, CSc.

Head of the Department of Digital Design