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