On ESL verification of memory consistency for system-on-chip multiprocessing

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]

Authors

Eberle A. Rambo

This author has not been identified. Look up 'Eberle A. Rambo' in Google

Olav P. Henschel

This author has not been identified. Look up 'Olav P. Henschel' in Google

Luiz C. V. dos Santos

This author has not been identified. Look up 'Luiz C. V. dos Santos' in Google