@article{Barkalov:2023,
author
=
"O.Barkalov and L.Titarenko and R.Babakov",
title
=
"Test Graph-Schemes of the Algorithms of Finite State Machines Work for Assessing the Efficiency of Automated Synthesis in Xilinx Vivado CAD",
journal
=
"Radio Electronics Computer Science Control",
number
=
"no. 3 (66)",
pages
=
"120--129",
year
=
"2023",
}