@inproceedings{conf/mtv/Lyles08, added-at = {2011-07-08T00:00:00.000+0200}, author = {Jr., Joseph W. Lyles}, biburl = {http://www.bibsonomy.org/bibtex/2fe31fe13b2e9b716bba79575024fae25/dblp}, booktitle = {MTV}, crossref = {conf/mtv/2008}, ee = {http://dx.doi.org/10.1109/MTV.2008.24}, interhash = {76e937361583b0c443606d3683315dae}, intrahash = {fe31fe13b2e9b716bba79575024fae25}, isbn = {978-0-7695-3581-4}, keywords = {dblp}, pages = {3-6}, publisher = {IEEE Computer Society}, timestamp = {2011-07-08T00:00:00.000+0200}, title = {Vertical Reuse Strategy for Testbench Components Supporting Memory Consistency Checking of an SMP-Capable AMD64 Processor.}, url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2008.html#Lyles08}, year = 2008 }