MAIKIV, IHOR, OLEKSANDR OSOLINSKIY, PAVLO BYKOVYY, and VIKTOR FEDOROVYCH. “APPLICATION OF OBJECT-ORIENTED PROGRAMMING CONCEPTIONFOR VERIFICATION OF HDL-BASED DIGITAL DESIGNS”. Herald of Khmelnytskyi National University. Technical sciences 359, no. 6.1 (December 11, 2025): 201–209. Accessed January 26, 2026. https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/2287.