Oleksandr Ostrianko

Master of Science, Postgraduate Student

National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”

03056, 37 Beresteiskyi Ave., Kyiv, Ukraine

https://orcid.org/0009-0008-9107-425

oleksandrostrianko@outlook.com

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

25.06.2026

Oleksandr Ostrianko*

oleksandrostrianko@outlook.com

  • Keywords hardware logic; test scenarios; coverage analysis; correctness properties; counterexamples; control signal
  • DOI https://doi.org/10.31649/vitce/2.2026.132.