Ravi Hosabettu Ganesh Gopalakrishnan Mandayam K. Srivas Formal Verification of a Complex Pipelined Processor. 171-213 2003 23 Formal Methods in System Design 2 http://dx.doi.org/10.1023/A:1024716316140 db/journals/fmsd/fmsd23.html#HosabettuGS03