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