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