Barkalov AA, Titarenko LA, Babakov RM. TEST GRAPH-SCHEMES OF THE ALGORITHMS OF FINITE STATE MACHINES WORK FOR ASSESSING THE EFFICIENCY OF AUTOMATED SYNTHESIS IN XILINX VIVADO CAD . RIC [Internet]. 2023Oct.13 [cited 2024Jul.23];(3):120. Available from: http://ric.zntu.edu.ua/article/view/288139