Concepedia

Functional verification of a multiple-issue, pipelined, superscalar Alpha processor—the Alpha 21164 CPU chip

M. Kantrowitz, Lisa M. Noack

Digital technical journal · 1995 · 25 citations · 3 references

Concepts

References

3

Circuit implementation of a 300-MHz 64-bit second-generation CMOS Alpha CPU

William J. Bowhill, Shane Bell, B.J. Benschneider et al. · Digital technical journal · 1995 · 85 citations

, , +12

Verification of the IBM RISC System/6000 by a dynamic biased pseudo-random test program generator

Adi Aharon, A. Bar-David, B. Dorfman et al. · IBM Systems Journal · 1991 · 84 citations

, , +15

Verifying a multiprocessor cache controller using random test generation

David A. Wood, Garth A. Gibson, Randy H. Katz · IEEE Design & Test of Computers · 1990 · 70 citations

, , +14