MPSoCDK: A framework for prototyping and validating MPSoC projects on FPGAs | IEEE Conference Publication | IEEE Xplore