Publication

@inproceedings{abc,
	author = {Kypros Constantinides and Onur Mutlu and Todd M. Austin},
	booktitle = {41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008)},
	title = {Online design bug detection: RTL analysis, flexible mechanisms, and evaluation.},
	url = {http://dx.doi.org/10.1109/MICRO.2008.4771798},
	venue = {Lake Como, Italy},
	year = {2008}
}