Ravi Hosabettu

According to our database, Ravi Hosabettu authored at least 8 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Formal Verification of a Complex Pipelined Processor.

Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas

Formal Methods Syst. Des., 2003

A Practical Methodology for Verifying Pipelined Microarchitectures.

Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas

IEEE Des. Test Comput., 2003

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

Verifying Advanced Microarchitectures that Support Speculation and Exceptions.

Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer.

Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.

Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Decomposing the Proof of Correctness of pipelined Microprocessors.

Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Formal modeling and validation applied to a commercial coherent bus: a case study.

Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu

Proceedings of the Advances in Hardware Design and Verification, 1997