Ravi Hosabettu (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas: Formal Verification of a Complex Pipelined Processor. Formal Methods in System Design 23(2): 171-213 (2003)
7		Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas: A Practical Methodology for Verifying Pipelined Microarchitectures. IEEE Design & Test of Computers 20(4): 4-14 (2003)
6		Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas: Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV 2000: 521-537
5		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 in System Design 16(1): 93-119 (2000)
4		Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas: A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. CHARME 1999: 8-22
3		Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan: Decomposing the Proof of Correctness of pipelined Microprocessors. CAV 1998: 122-134
2		Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan: Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. FMCAD 1998: 237-254
1		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: 48-62

Selection of 8 from 8 records - Ravi Hosabettu has 6 coauthors