![]() | ![]() |
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] |