Barkalov, A.A., Titarenko, L.A. and 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 (Oct. 2023), 120. DOI:https://doi.org/10.15588/1607-3274-2023-3-12.