Leandro S. Freitas, Eberle A. Rambo, Luiz C. V. dos Santos
On-the-fly verification of memory consistency with concurrent relaxed scoreboards
DATE, 2013.
@inproceedings{DATE-2013-FreitasRS,
acmid = "2485444",
author = "Leandro S. Freitas and Eberle A. Rambo and Luiz C. V. dos Santos",
booktitle = "{Proceedings of the 17th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-4503-2153-2",
pages = "631--636",
publisher = "{EDA Consortium San Jose, CA, USA / ACM DL}",
title = "{On-the-fly verification of memory consistency with concurrent relaxed scoreboards}",
year = 2013,
}