In Formal Methods in Computer-Aided Design, 2000.
Abstract Paper (gzipped postscript) Bibtex entry |
@INPROCEEDINGS{DaAoCo00, title={Combining Stream-based and State-based Verification Techniques for Microarchitectures}, author ={Nancy A. Day and Mark D. Aagaard and Byron Cook}, booktitle={Formal Methods in Computer-Aided Design}, series={Lecture Notes in Computer Science}, volume=1954, publisher={Springer} editors ={Warren A. Hunt, Jr. and Steven D. Johnson}, month={November}, year = 2000, pages ={126-142} }