DocumentCode :
2977397
Title :
Phoenix: Detecting and Recovering from Permanent Processor Design Bugs with Programmable Hardware
Author :
Sarangi, Smruti R. ; Tiwari, Abhishek ; Torrellas, Josep
Author_Institution :
Illinois Univ., Champaign, IL
fYear :
2006
fDate :
Dec. 2006
Firstpage :
26
Lastpage :
37
Abstract :
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive chip recalls. To truly improve productivity, hardware bugs should be handled like system software ones, with vendors periodically releasing patches to fix hardware in the field. Based on an analysis of serious design defects in current AMD, Intel, IBM, and Motorola processors, this paper proposes and evaluates Phoenix - novel field-programmable on-chip hardware that detects and recovers from design defects. Phoenix taps key logic signals and, based on downloaded defect signatures, combines the signals into conditions that flag defects. On defect detection, Phoenix flushes the pipeline and either retries or invokes a customized recovery handler. Phoenix induces negligible slowdown, while adding only 0.05% area and 0.48% wire overheads. Phoenix detects all the serious defects that are triggered by concurrent control signals. Moreover, it recovers from most of them, and simplifies recovery for the rest. Finally, we present an algorithm to automatically size Phoenix for new processors
Keywords :
computer debugging; field programmable gate arrays; formal verification; microprocessor chips; bug detection; concurrent control; field-programmable on-chip hardware; permanent processor design; processor design verification; programmable hardware; Computer bugs; Hardware; Logic; Pipelines; Process design; Production; Productivity; Silicon; System software; Wire;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Microarchitecture, 2006. MICRO-39. 39th Annual IEEE/ACM International Symposium on
Conference_Location :
Orlando, FL
ISSN :
1072-4451
Print_ISBN :
0-7695-2732-9
Type :
conf
DOI :
10.1109/MICRO.2006.41
Filename :
4041833
Link To Document :
بازگشت