MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ravi Hosabettu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

A Systematic Methodology for Verifying Superscalar Microprocessors
by M. Srivas, Mandayam Srivas, Ravi Hosabettu, Ganesh Gopalakrishnan — 1999
… Srivas SRI International, Menlo Park, CA Ravi Hosabettu & Ganesh Gopalakrishnan University of Utah, Salt…
Add To MetaCart

Verifying Advanced Microarchitectures that Support Speculation and Exceptions
by Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas — 2000 — Computer-Aided Verification (CAV2000), LNCS 1855
…Verifying Advanced Microarchitectures that Support Speculation and Exceptions ? Ravi Hosabettu 1…
Cited by 6 (0 self) – Add To MetaCart

A proof of correctness of a processor implementing Tomasulo's algorithm without a reorder buffer
by Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas — 1999 — Correct Hardware Design and Veri Methods, 10th IFIP WG10.5 Advanced Research Working Conference, (CHARME '99), volume 1703 of LNCS
… ? Ravi Hosabettu 1 , Ganesh Gopalakrishnan 1 , and Mandayam Srivas 2 1 Department of Computer…
Cited by 3 (0 self) – Add To MetaCart

Proof of Correctness of a Processor with Reorder Buffer using the Completion Functions Approach
by Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan — 1999
… ? Ravi Hosabettu 1 , Mandayam Srivas 2 , and Ganesh Gopalakrishnan 1 1 Department of Computer…
Cited by 30 (1 self) – Add To MetaCart

Decomposing the Proof of Correctness of Pipelined Microprocessors
by Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan
…Decomposing the Proof of Correctness of Pipelined Microprocessors ? Ravi Hosabettu 1 , Mandayam…
Cited by 17 (2 self) – Add To MetaCart

Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem
by Abdel Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan — 1998 — In Proceedings of the Second International Conference, Formal Methods in Computer-Aided Design
… Mokkedem, Ravi Hosabettu, and Ganesh Gopalakrishnan Department of Computer Science, University of Utah…
Cited by 9 (1 self) – Add To MetaCart

Formal Modeling and Validation Applied to a Commercial Coherent Bus: A Case Study
by Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu — 1997 — Correct Hardware Design and Verification Method, CHARME '97
… Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem and Ratan Nalumasu Department of Computer…
Cited by 5 (4 self) – Add To MetaCart

Decomposing the Proof of Correctness of Pipelined Microprocessors
by Ravi Hosabettu Mandayam, Ayam Srivas, Ganesh Gopalakrishnan — 1998 — Computer-Aided Verification (CAV`98), A.J. Hu and M.Y. Vardi, eds., LNCS 1427
…Decomposing the Proof of Correctness of Pipelined Microprocessors Ravi Hosabettu 1 ,Mandayam…
Add To MetaCart

Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem
by Abdel Mokkedem, Ravi M. Hosabettu, Michael D. Jones, Ganesh C. Gopalakrishnan — 1999 — Formal Methods in System Design
… Mokkedem, Ravi M. Hosabettu, Michael D. Jones and Ganesh C. Gopalakrishnan Department of Computer Science…
Cited by 4 (1 self) – Add To MetaCart

Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem
by Abdel Mokkedem Ravi, Ravi M. Hosabettu, Michael D. Jones, Ganesh C. Gopalakrishnan — 1999 — Formal Methods in System Design
… Mokkedem, Ravi M. Hosabettu, Michael D. Jones and Ganesh C. Gopalakrishnan Department of Computer Science…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB