| 2003 |
|---|
| 8 | EE | 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 | EE | Ravi Hosabettu,
Ganesh Gopalakrishnan,
Mandayam K. Srivas:
A Practical Methodology for Verifying Pipelined Microarchitectures.
IEEE Design & Test of Computers 20(4): 4-14 (2003) |
| 2000 |
|---|
| 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) |
| 1999 |
|---|
| 4 | EE | 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 |
| 1998 |
|---|
| 3 | | Ravi Hosabettu,
Mandayam K. Srivas,
Ganesh Gopalakrishnan:
Decomposing the Proof of Correctness of pipelined Microprocessors.
CAV 1998: 122-134 |
| 2 | EE | 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 |
| 1997 |
|---|
| 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 |
