Login / Signup
Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip
Michael Kantrowitz
Lisa M. Noack
Published in:
Digit. Tech. J. (1995)
Keyphrases
</>
functional verification
multithreading
formal verification
high speed
low cost
instruction set
hardware software
parallel algorithm