A. S. Shkil, E. E. Syrevich, D. Kucherenko, and S. Almadhoun, “BACKWARDS METHOD FOR FINDING DESIGN ERRORS IN HDL CODE”, RIC, no. 2, p. 86, Oct. 2024.