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), p. 86. doi: 10.15588/1607-3274-2009-2-16.