Post-layout verification of the WE DSP32 digital signal processor | IEEE Journals & Magazine | IEEE Xplore