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