A. A. Barkalov, L. A. Titarenko, and R. M. Babakov, “TEST GRAPH-SCHEMES OF THE ALGORITHMS OF FINITE STATE MACHINES WORK FOR ASSESSING THE EFFICIENCY OF AUTOMATED SYNTHESIS IN XILINX VIVADO CAD ”, RIC, no. 3, p. 120, Oct. 2023.