Login / Signup

Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor.

Scott A. TaylorMichael QuinnDarren BrownNathan DohmScot HildebrandtJames HugginsCarl Ramey
Published in: DAC (1998)
Keyphrases
  • functional verification
  • instruction set
  • database systems
  • object oriented
  • high speed
  • formal verification
  • wireless sensor networks
  • message passing