James Armstrong Chang Cho Sandeep Shah Chakravarthy Kosaraju The VHDL Validation Suite. 2-7 1990 DAC http://doi.acm.org/10.1145/123186.123190 db/conf/dac/dac90.html#ArmstrongCSK90