Kypros Constantinides, Onur Mutlu, Todd M. Austin. Online design bug detection: RTL analysis, flexible mechanisms, and evaluation. In 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy. pages 282-293, IEEE Computer Society, 2008. [doi]
@inproceedings{ConstantinidesMA08,
title = {Online design bug detection: RTL analysis, flexible mechanisms, and evaluation},
author = {Kypros Constantinides and Onur Mutlu and Todd M. Austin},
year = {2008},
doi = {10.1109/MICRO.2008.4771798},
url = {http://dx.doi.org/10.1109/MICRO.2008.4771798},
tags = {bug detection, analysis, design},
researchr = {https://researchr.org/publication/ConstantinidesMA08},
cites = {0},
citedby = {0},
pages = {282-293},
booktitle = {41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy},
publisher = {IEEE Computer Society},
}