Verification of a VHDL GPS baseband processor using a simulink-based test bench generator | IEEE Conference Publication | IEEE Xplore