Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos. On ESL verification of memory consistency for system-on-chip multiprocessing. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 9-14, IEEE, 2012. [doi]