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