Barkalov, A. A., Titarenko, L. A., & Babakov, R. M. (2023). TEST GRAPH-SCHEMES OF THE ALGORITHMS OF FINITE STATE MACHINES WORK FOR ASSESSING THE EFFICIENCY OF AUTOMATED SYNTHESIS IN XILINX VIVADO CAD . Radio Electronics, Computer Science, Control, (3), 120. https://doi.org/10.15588/1607-3274-2023-3-12