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), p. 120. doi: 10.15588/1607-3274-2023-3-12.