A Test Planning System for Functional Validation of VHDL DSP Models. - Morris Mengwei Lin (1998)