MAIKIV, IHOR; OSOLINSKIY, OLEKSANDR; BYKOVYY, PAVLO; FEDOROVYCH, VIKTOR. APPLICATION OF OBJECT-ORIENTED PROGRAMMING CONCEPTIONFOR VERIFICATION OF HDL-BASED DIGITAL DESIGNS. Herald of Khmelnytskyi National University. Technical sciences, [S. l.], v. 359, n. 6.1, p. 201–209, 2025. DOI: 10.31891/2307-5732-2025-359-28. Disponível em: https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/2287. Acesso em: 26 jan. 2026.