|Quality of Informational Systems|
The proposed course will offer extended knowledge in verification and validation of digital systems. The main focus will be on the test generation, simulation of digital devices and rational presentation of diagnostic information. The student will learn concepts, models and methods used in the theory of digital system verification and validation. The course outlines the algorithms and methods for logic simulation serviceable and unserviceable digital devices, demand for solving technical diagnostics. Describes methods of construction inspection and diagnostic tests for combination devices and memory are widely used at the stages of design and operation. Presents methods for processing the results of testing and diagnostic devices, as well as reducing the diagnostic information to locate faults. The students get skills in verification with FSM-based specification and functional testing of hardware and software of embedded systems.