Constructing Compact Tests for Functional Verification of VHDL Descriptions of the Finite State Machines - P. N. Bibilo; V. I. Romanov (Control Systems and Computers, 2017)