The VHDL Validation Suite. - James Armstrong; Chang H. Cho; Sandeep Shah; Chakravarthy Kosaraju (DAC, 1990)

A formal model for behavioral test generation. - Chang H. Cho (1994)