Verifying external data memory interface for H.263 video DSP with memory simulator | IEEE Conference Publication | IEEE Xplore