| |
| 2002 | ||
|---|---|---|
| 2 | Richard Raimi, James Lear: Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking. Formal Methods in System Design 21(1): 79-94 (2002) | |
| 1997 | ||
| 1 | Richard Raimi, James Lear: Analyzing a PowerPCTM620 Microprocessor Silicon Failure Using Model Checking. ITC 1997: 964-973 | |
| 1 | Richard Raimi | [1] [2] |