Shkil, A.S., Syrevich, E.E., Kucherenko, D. and Almadhoun, S. 2024. BACKWARDS METHOD FOR FINDING DESIGN ERRORS IN HDL CODE. Radio Electronics, Computer Science, Control. 2 (Oct. 2024), 86. DOI:https://doi.org/10.15588/1607-3274-2009-2-16.