MAIKIV, IHOR, et al. “APPLICATION OF OBJECT-ORIENTED PROGRAMMING CONCEPTIONFOR VERIFICATION OF HDL-BASED DIGITAL DESIGNS”. Herald of Khmelnytskyi National University. Technical Sciences, vol. 359, no. 6.1, Dec. 2025, pp. 201-9, https://doi.org/10.31891/2307-5732-2025-359-28.