Efficient approaches to testing VHDL DSP models | IEEE Conference Publication | IEEE Xplore