Debugging HW/SW interface for MPSoC: video encoder system design case study | IEEE Conference Publication | IEEE Xplore