VVDS: A Verification/Diagnosis System for VHDL. - Heh-Tyan Liaw; K.-T. Tran; Chen-Shang Lin (DAC, 1989)