Olav P. Henschel, Luiz C. V. dos Santos. Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking. In 20th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2013, Abu Dhabi, December 8-11, 2013. pages 843-846, IEEE, 2013. [doi]
Abstract is missing.