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 2025Jan.15];(3):120. Available from: https://ric.zp.edu.ua/article/view/288139