Modeling and Verification of Out-of-Order Microprocessors in UCLID

Shuvendu K. Lahiri, Sanjit A. Seshia, and Randal E. Bryant. Modeling and Verification of Out-of-Order Microprocessors in UCLID. In Formal Methods in Computer-Aided Design (FMCAD '02), pp. 142–160, LNCS 2517, Springer-Verlag, November 2002.

Download

[pdf]  [ps] 

Abstract

(unavailable)

BibTeX

@InProceedings{lahiri-fmcad02,
 author = "Shuvendu K. Lahiri and Sanjit A. Seshia and Randal E. Bryant",
 title = "Modeling and Verification of Out-of-Order Microprocessors in {UCLID}",
 booktitle = "{Formal Methods in Computer-Aided Design (FMCAD '02)}",
 series = "LNCS 2517", 
 publisher = "Springer-Verlag",
 month = "November", 
 year = 2002, 
 pages = "142--160",
}