Accelerated Verification of a MATLAB-Driven Digital FIR Filter RTL Design Using Veloce and TBX