Quality of Informational Systems  
Institution: Authors:
Zaporizhzhya National Technical University Galina Tabunshchik (This email address is being protected from spambots. You need JavaScript enabled to view it.)


Available languages:

Download the PDF file in English
Download the PDF file in Ukrainian
Download the PDF file in Georgian
Download the PDF file in Armenian



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.