"An Organized Firmware Verification Environment for the Programmable Image DSP."

Yutaka Tashiro et al. (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics