MAIKIV I, OSOLINSKIY O, BYKOVYY P, FEDOROVYCH V. APPLICATION OF OBJECT-ORIENTED PROGRAMMING CONCEPTIONFOR VERIFICATION OF HDL-BASED DIGITAL DESIGNS. Herald of Khmelnytskyi National University. Technical sciences. 2025;359(6.1):201-209. doi:10.31891/2307-5732-2025-359-28