论文信息 - Zen and the art of Alpha verification

Zen and the art of Alpha verification

The advanced architecture of the Alpha 21264 microprocessor compelled the verification team to invent far-reaching techniques to achieve the goal of booting multiple operating systems on first silicon. These techniques, built on traditional verification methodology, exposed a number of esoteric bugs prior to tape-out. Verification engineers took focused testing, pseudo-random testing, and coverage analysis to new levels in order to meet the challenge of verifying a highly out-of order, superscalar machine. A new hybrid exerciser and a method for predicting the future enhanced pseudo-random testing. A new way of looking at coverage analysis was devised. Random behavior was added to hand-coded rests, several methods were created for tackling atomic operations, and a shadow reference model was written for the most advanced branch predictor implemented to date in a commercial microprocessor. Verification techniques were also expanded to include test pattern generation and post-silicon debugging.

[1] Michael Kantrowitz,et al. Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip , 1995, Digit. Tech. J..

[2] Joel S. Emer,et al. A Language For Describing Predictors And Its Application To Automatic Synthesis , 1997, Conference Proceedings. The 24th Annual International Symposium on Computer Architecture.

[3] Rahul Razdan,et al. The Alpha 21264: a 500 MHz out-of-order execution microprocessor , 1997, Proceedings IEEE COMPCON 97. Digest of Papers.

[4] M. Kantrowitz,et al. I'm done simulating; now what? Verification coverage analysis and correctness checking of the DECchip 21164 Alpha microprocessor , 1996, 33rd Design Automation Conference Proceedings, 1996.

[5] Michael Kantrowitz,et al. I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor , 1996, DAC '96.

[6] Richard Davies,et al. Manufacturing pattern development for the Alpha 21164 microprocessor , 1997, Proceedings International Test Conference 1997.

[7] Richard L. Sites,et al. Alpha Architecture Reference Manual , 1995 .

[8] Carl Ramey,et al. Functional verification of a multiple-issue, out-of-order, superscalar Alpha processor-the DEC Alpha 21264 microprocessor , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).