| 2002 |
|---|
| 8 | | Richard Raimi,
James Lear:
Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking.
Formal Methods in System Design 21(1): 79-94 (2002) |
| 2001 |
|---|
| 7 | | Edmund M. Clarke,
Armin Biere,
Richard Raimi,
Yunshan Zhu:
Bounded Model Checking Using Satisfiability Solving.
Formal Methods in System Design 19(1): 7-34 (2001) |
| 2000 |
|---|
| 6 | EE | Richard Raimi,
Ramin Hojati,
Kedar S. Namjoshi:
Environment modeling and language universality.
ACM Trans. Design Autom. Electr. Syst. 5(3): 705-725 (2000) |
| 1999 |
|---|
| 5 | EE | Armin Biere,
Edmund M. Clarke,
Richard Raimi,
Yunshan Zhu:
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.
CAV 1999: 60-71 |
| 4 | EE | Richard Raimi,
Jacob A. Abraham:
Detecting False Timing Paths: Experiments on PowerPC Microprocessors.
DAC 1999: 737-741 |
| 1997 |
|---|
| 3 | EE | Manish Pandey,
Richard Raimi,
Randal E. Bryant,
Magdy S. Abadir:
Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation.
DAC 1997: 167-172 |
| 2 | | Richard Raimi,
James Lear:
Analyzing a PowerPCTM620 Microprocessor Silicon Failure Using Model Checking.
ITC 1997: 964-973 |
| 1996 |
|---|
| 1 | EE | Manish Pandey,
Richard Raimi,
Derek L. Beatty,
Randal E. Bryant:
Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation.
DAC 1996: 649-654 |
