An Organized Firmware Verification Environment for the Programmable Image DSP | IEEE Conference Publication | IEEE Xplore