FI:PA192 Secure hardware-based design - Course Information
PA192 Secure hardware-based system designFaculty of Informatics
- Extent and Intensity
- 2/2/2. 6 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
- 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
- Mon 12:00–13:50 A319
- Timetable of Seminar Groups:
PA192/02: Tue 12:00–13:50 A415, Z. Matěj, F. Roth
PA192/03: Mon 14:00–15:50 A415, Z. Matěj, F. Roth
- • 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.
- 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
- Further comments (probably available only in Czech)
- Study Materials
The course is taught annually.