I. MAIKIV, O. OSOLINSKIY, P. BYKOVYY, and V. FEDOROVYCH, “APPLICATION OF OBJECT-ORIENTED PROGRAMMING CONCEPTIONFOR VERIFICATION OF HDL-BASED DIGITAL DESIGNS”, Herald of Khmelnytskyi National University. Technical sciences, vol. 359, no. 6.1, pp. 201–209, Dec. 2025, doi: 10.31891/2307-5732-2025-359-28.