An intermediate format for automatic generation of MPSoC virtual prototypes | IEEE Conference Publication | IEEE Xplore