Abstract Modeling and Formal Verification of Microprocessors.

Ziyad Hanna Abstract Modeling and Formal Verification of Microprocessors. 23 2007 conf/csr/2007 CSR http://dx.doi.org/10.1007/978-3-540-74510-5_5 db/conf/csr/csr2007.html#Hanna07