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