Model synthesis from VHDL for the functional test generation system
Krupnova, Helena
1993
https://www.ester.ee/record=b2090509*est