MAIKIV, IHOR, OLEKSANDR OSOLINSKIY, PAVLO BYKOVYY, and VIKTOR FEDOROVYCH. 2025. “APPLICATION OF OBJECT-ORIENTED PROGRAMMING CONCEPTIONFOR VERIFICATION OF HDL-BASED DIGITAL DESIGNS”. Herald of Khmelnytskyi National University. Technical Sciences 359 (6.1): 201-9. https://doi.org/10.31891/2307-5732-2025-359-28.