Shkil, A. S., E. E. Syrevich, D. Kucherenko, and Samer Almadhoun. “BACKWARDS METHOD FOR FINDING DESIGN ERRORS IN HDL CODE”. Radio Electronics, Computer Science, Control, no. 2 (October 2, 2024): 86. Accessed April 3, 2025. https://ric.zp.edu.ua/article/view/312625.