MPSoC verification using a unified random program approach


This paper discusses a simulation-based verification approach for Multiprocessor Systems-on-Chip using a unified random program generator. Similar to design abstration, we first explain the concept of verification abstraction. Then we analyse the typical bugs encountered in a MPSoC design and levels of verification abstraction at which they can be found… (More)


6 Figures and Tables