Mіrosсhnyk M.A., Pakhomov, Y.V., Shkil, A.S., Kulak, E.N. and Kucherenko, D.Y. 2018. DESIGN AUTOMATION OF EASY-TESTED DIGITAL FINITE STATE MACHINES. Radio Electronics, Computer Science, Control. 2 (Oct. 2018). DOI:https://doi.org/10.15588/1607-3274-2018-2-13.