Barkalov, A. A., 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”. Radio Electronics, Computer Science, Control, no. 3, Oct. 2023, p. 120, doi:10.15588/1607-3274-2023-3-12.