• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Processor Verification with Precise Exeptions and Speculative Execution.

Jun SawadaWarren A. Hunt Jr.
Published in: CAV (1998)
Keyphrases
  • speculative execution
  • memory subsystem
  • parallel processing
  • model checking
  • single chip
  • instruction set
  • database systems
  • computer systems
  • computer architecture
  • parallel architecture
  • ibm zenterprise