Transaction-based post-silicon debug of many-core System-on-Chips | IEEE Conference Publication | IEEE Xplore