Cache coherence support in a split-transaction bus for prototyping of system-on-chip multiprocessors | IEEE Conference Publication | IEEE Xplore