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