O. Ostrianko

Methods of functional and formal verification of digital systems: Theoretical analysis and experimental application to modules of varying complexity

The study aimed to provide a theoretical justification of the nature of functional and formal verification of digital systems, to compare their methods, and to determine the possibilities for their coordinated application to digital modules of varying structural complexity. Methodology was based on normative-terminolog...