Verification Driven Formal Architecture and Microarchitecture Modeling.

Yogesh S. Mahajan Carven Chan Ali Alphan Bayazit Sharad Malik Wei Qin Verification Driven Formal Architecture and Microarchitecture Modeling. 123-132 2007 conf/memocode/2007 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2007.371235 db/conf/memocode/memocode2007.html#MahajanCBMQ07