Gabriel Marcilio, Luiz C. V. dos Santos, Bruno Albertini, Sandro Rigo
A novel verification technique to uncover out-of-order DUV behaviors
DAC, 2009.
@inproceedings{DAC-2009-MarcilioSAR,
author = "Gabriel Marcilio and Luiz C. V. dos Santos and Bruno Albertini and Sandro Rigo",
booktitle = "{Proceedings of the 46th Design Automation Conference}",
doi = "10.1145/1629911.1630031",
isbn = "978-1-60558-497-3",
pages = "448--453",
publisher = "{ACM}",
title = "{A novel verification technique to uncover out-of-order DUV behaviors}",
year = 2009,
}