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 (October 13, 2023): 120. Accessed July 23, 2024. http://ric.zntu.edu.ua/article/view/288139.