Formal modeling and validation applied to a commercial coherent bus: a case study. - Ganesh Gopalakrishnan; Rajnish Ghughal; Ravi Hosabettu; Abdelillah Mokkedem; Ratan Nalumasu (CHARME, 1997)

Decomposing the Proof of Correctness of pipelined Microprocessors. - Ravi Hosabettu; Mandayam K. Srivas; Ganesh Gopalakrishnan (CAV, 1998)

Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. - Abdelillah Mokkedem; Ravi Hosabettu; Ganesh Gopalakrishnan (FMCAD, 1998)

A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (CHARME, 1999)

Verifying Advanced Microarchitectures that Support Speculation and Exceptions. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (CAV, 2000)

Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. - Abdel Mokkedem; Ravi Hosabettu; Michael D. Jones; Ganesh Gopalakrishnan (Formal Methods Syst. Des., 2000)

A Practical Methodology for Verifying Pipelined Microarchitectures. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (IEEE Des. Test Comput., 2003)

Formal Verification of a Complex Pipelined Processor. - Ravi Hosabettu; Ganesh Gopalakrishnan; Mandayam K. Srivas (Formal Methods Syst. Des., 2003)