메뉴 건너뛰기




Volumn 27, Issue 1, 2007, Pages 12-25

Patching processor design errors with programmable hardware

Author keywords

Design defects in real processors; Hardware errors; Microarchitecture for fault tolerance; Processor errata analysis

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; PATTERN MATCHING;

EID: 34249788697     PISSN: 02721732     EISSN: None     Source Type: Journal    
DOI: 10.1109/MM.2007.19     Document Type: Article
Times cited : (47)

References (12)
  • 1
    • 0042635845 scopus 로고    scopus 로고
    • Coverage-Oriented Verification of Banias
    • ACM Press
    • A. Gluska, "Coverage-Oriented Verification of Banias," Proc. Design Automation Conf (DAC 03), ACM Press, 2003, pp. 280-285.
    • (2003) Proc. Design Automation Conf (DAC 03) , pp. 280-285
    • Gluska, A.1
  • 4
    • 34249809980 scopus 로고    scopus 로고
    • Phoenix: Detecting and Recovering from Permanent Processor Design Bugs with Programmable Hardware
    • IEEE CS Press
    • S. Sarangi, A. Tiwari, and J. Torrellas, "Phoenix: Detecting and Recovering from Permanent Processor Design Bugs with Programmable Hardware," Proc. Ann. IEEE/ACM Int'l Symp. Microarchitecture (Micro 06), IEEE CS Press, 2006, pp. 26-37.
    • (2006) Proc. Ann. IEEE/ACM Int'l Symp. Microarchitecture (Micro 06) , pp. 26-37
    • Sarangi, S.1    Tiwari, A.2    Torrellas, J.3
  • 6
    • 4043131877 scopus 로고    scopus 로고
    • Millicode in an IBM zSeries Processor
    • May/July
    • L.C. Heller and M.S. Farrell, "Millicode in an IBM zSeries Processor," IBM J. Research and Development, vol. 48, no. 3/4, May/July 2004, p. 425.
    • (2004) IBM J. Research and Development , vol.48 , Issue.3-4 , pp. 425
    • Heller, L.C.1    Farrell, M.S.2
  • 7
    • 0033321638 scopus 로고    scopus 로고
    • DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design
    • IEEE CS Press
    • T.M. Austin, "DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design," Proc. Ann. ACM/IEEE Int'l Symp. Microarchitecture (Micro 99), IEEE CS Press, 1999, pp. 196-207.
    • (1999) Proc. Ann. ACM/IEEE Int'l Symp. Microarchitecture (Micro 99) , pp. 196-207
    • Austin, T.M.1
  • 9
    • 0036292677 scopus 로고    scopus 로고
    • SafetyNet: Improving the Availability of Shared-Memory Multiprocessors with Global Checkpoint/Recovery
    • IEEE CS Press
    • D.J. Sorin et al., "SafetyNet: Improving the Availability of Shared-Memory Multiprocessors with Global Checkpoint/Recovery," Proc. Ann. Int'l Symp. Computer Architecture (ISCA 02), IEEE CS Press, 2002, pp. 123-134.
    • (2002) Proc. Ann. Int'l Symp. Computer Architecture (ISCA 02) , pp. 123-134
    • Sorin, D.J.1
  • 10
    • 0036290620 scopus 로고    scopus 로고
    • RoVivo: Cost Effective Architectural Support for Rollback Recovery in Shared-Memory Multiprocessors
    • IEEE CS Press
    • M. Prvulovic, Z. Zhang, and J. Torrellas, "RoVivo: Cost Effective Architectural Support for Rollback Recovery in Shared-Memory Multiprocessors," Proc. Ann. Int'l Symp. Computer Architecture (ISCA 02), IEEE CS Press, 2002, pp. 111-122.
    • (2002) Proc. Ann. Int'l Symp. Computer Architecture (ISCA 02) , pp. 111-122
    • Prvulovic, M.1    Zhang, Z.2    Torrellas, J.3
  • 11
    • 33748873046 scopus 로고    scopus 로고
    • ReVivel/O: Efficient Handling of I/O in Highly-Available Rollback-Recovery Servers
    • IEEE CS Press
    • J. Nakano et al., "ReVivel/O: Efficient Handling of I/O in Highly-Available Rollback-Recovery Servers," Proc. Int'l Symp. High-Performance Computer Architecture (HPCA 06), IEEE CS Press, 2006, pp. 200-211.
    • (2006) Proc. Int'l Symp. High-Performance Computer Architecture (HPCA 06) , pp. 200-211
    • Nakano, J.1
  • 12
    • 0034478038 scopus 로고    scopus 로고
    • Cross-Talk Immune VLSI Design Using a Network of PLAs Embedded in a Regular Layout Fabric
    • IEEE CS Press
    • S.P. Khatri, R.K. Brayton, and A. Sangiovanni, "Cross-Talk Immune VLSI Design Using a Network of PLAs Embedded in a Regular Layout Fabric," Proc. Int'l Conf. Computer Aided Design (ICCAD 00), IEEE CS Press, 2000, pp. 412-418.
    • (2000) Proc. Int'l Conf. Computer Aided Design (ICCAD 00) , pp. 412-418
    • Khatri, S.P.1    Brayton, R.K.2    Sangiovanni, A.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.