O. Ostrianko

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

The study established that functional verification ensured the verification of a digital module's behavioural compliance with the specification through test inputs, expected output responses, test benches, simulation and analysis of functional mode coverage, and formal verification yielded a different type of verificat...