An Organized Firmware Verification Environment for the Programmable Image DSP