Ravi Hosabettu

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

Publications

Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
A Practical Methodology for Verifying Pipelined Microarchitectures. IEEE Des. Test Comput. 20 (4) (2003)
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
Formal Verification of a Complex Pipelined Processor. Formal Methods Syst. Des. 23 (2) (2003)
Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods Syst. Des. 16 (1) (2000)
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV (2000)
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. CHARME (1999)
Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan
Decomposing the Proof of Correctness of pipelined Microprocessors. CAV (1998)
Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. FMCAD (1998)
Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu
Formal modeling and validation applied to a commercial coherent bus: a case study. CHARME (1997)