Learning outcomes of the course unit:
A student has knowledge on reliability of digital systems and design of safety-critical systems. Student is familiar with faults in digital systems that are induced by cosmic rays and is able to apply suitable fault-tolerant architectures to ensure the reliability of space electronic systems. Students are able also apply advanced FPGA technologies for space engineering. Students have practical skills advanced methods of digital system verification and debugging. Based on this, students are able to design, verify and debug a safety-critical digital system with a given level of reliability, suitable for use in space applications. Students are able to use common EDA tools for design and implementation of digital systems.Course Contents:
1. Safety-critical electronic systems for space applications.
2. Need for design verification, test and diagnostics.
3. Advanced methods of system verification (OVM, UVM).
4. Defects, faults, error, bugs, failures. Test and testability.
5. Design for testability methods. SCAN approach.
6. BIST. Memory testing.
7. FPGA technologies for space engineering (Rad Hard FPGA). Debugging in FPGA (JTAG).
8. Error mitigation techniques for FPGA.
9. Faults in digital systems induced by cosmic rays. Reliability. Six Sigma.
10. Fault-tolerant digital systems. Hardware and information redundancy.
11. Built-in self repair (BISR) systems.
12. Systems-on-chip (SoC).
