On-the-fly verification of memory consistency with concurrent relaxed scoreboards

Leandro S. Freitas, Eberle A. Rambo, Luiz C. V. dos Santos. On-the-fly verification of memory consistency with concurrent relaxed scoreboards. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 631-636, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]

Authors

Leandro S. Freitas

This author has not been identified. Look up 'Leandro S. Freitas' in Google

Eberle A. Rambo

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

Luiz C. V. dos Santos

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