PA192 Secure hardware-based system design

Faculty of Informatics
Autumn 2018
Extent and Intensity
2/2/2. 6 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
doc. RNDr. Zdeněk Matěj, Ph.D. (lecturer)
prof. Ing. Václav Přenosil, CSc. (lecturer)
Mgr. Filip Roth (lecturer)
Ahmad Abbadi, Ph.D. (lecturer)
Guaranteed by
prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Department of Computer Systems and Communications – Faculty of Informatics
Timetable of Seminar Groups
PA192/01: No timetable has been entered into IS. Z. Matěj
PA192/02: No timetable has been entered into IS. Z. Matěj
Prerequisites
• Design of digital systems
- basics of digital circuit design;
• Digital systems dependability
- basics of probability theory and statistics.
Course Enrolment Limitations
The course is offered to students of any study field.
Course objectives
The course is focused on architectures of secure digital systems, to ensure reliability, dependability and security of digital systems, assess and learn how to design safe and reliable digital systems. An important part of the course is to familiarize students with the principles and techniques of secure programming in language C and design of secure embedded systems. Course will present common problems and design of secure digital systems on real-world examples.
Learning outcomes
At the end of the course, students will be able to:
- explain the principle of assembling powerful and functionally reliable digital system structures;
- design a reliable digital system using contemporary design elements;
- work with external devices connected to digital systems;
- work with A/D and D/A converters;
- implement basic control and diagnostic tools into simple digital systems;
- understand the FPGA principle;
- understand the programming languages VHDL and Verilog;
- design advanced systems using HDL languages;
- program application for FPGA.
Syllabus
  • 1) Design of Digital Systems
  • i) design elements of digital systems
  • ii) design of the combinational circuits
  • iii) design of the sequential circuits
  • iv) digital systems cores
  • v) design systems and simulation of the digital systems
  • 2) Architecture of Digital Systems
  • i) overview of microcontrollers, programmable arrays and DSP
  • ii) a/d and d/a converters
  • 3) Digital Systems Dependability
  • i) reliability evaluation of the electronics devices
  • ii) failures model of the technical systems
  • iii) methods and models of the redundancy
  • iv) Markov reliability and availability models
  • 4) Architecting Speed
  • i) High Throughput
  • ii) Low Latency
  • iii) Timing
  • 5) Rolling up the pipeline
  • opposite technique than this, when a high throughput was a target
  • 6) Controls to manage the reuse of logic
  • implementing a state machine to direct data flow in case of more complex variations to the input of a resource
  • 7) Sharing logic resources
  • different resources are shared across different functional boundaries. This type of resource sharing should be used whenever there are functional blocks that can be used in other areas of the design or even in different modules (counters).
  • 8) The impact of RESET
  • an improper reset strategy can create an unnecessarily large design or makes synthesis and optimization tools ineffective
  • i) Design without RESET capability
  • ii) Design without SET capability
  • iii) Design without asynchronous RESET capability
  • iv) Impact of RAM RESET
  • v) Optimization using set/reset pins for logic implementation.
Teaching methods
The course consists of theoretical training, laboratory exercises and solutions independently will project. Topic of the project will be specified in the opening hour of laboratory exercises. It is possible to design your own project topic, which must be approved by the teacher.
Assessment methods
• laboratory tasks with the defense - 16 points
• mid-term test - 20 points
• evaluated project - 14 points
• final written exam - 50 points
• passing boundary for ECTS assessment - 50 points
Language of instruction
English
Further comments (probably available only in Czech)
The course is taught annually.
The course is also listed under the following terms Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023, Autumn 2024.
  • Enrolment Statistics (Autumn 2018, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2018/PA192