Shkil, A. S.; Syrevich, E. E.; Kucherenko, D.; Almadhoun, S. BACKWARDS METHOD FOR FINDING DESIGN ERRORS IN HDL CODE. RIC 2024, 86.