Teaching students validation and verification processes for the highly-reliable digital systems.

After successfully completing the course, participants will be able to independently participate in process of specification, validation, verification and documentation of digital systems.

Part 1: Process of high-reliability digital system development following the DO-254 standard. Writing and validation of specification. Writing test cases. Part 2: High-reliability digital system design. Code tagging. Part 3: Methods of formal verification. BFM. UVM. Part 4: Code coverage techniques. Verification on hardware. Emulation on hardware. Part 5: Recension of verification results for digital system certification.

Lectures, assignments, lab exercises and project (60%). Theoretical exam: test in theory (40%)