Login / Signup

Using term rewriting systems to design and verify processors.

ArvindXiaowei Shen
Published in: IEEE Micro (1999)
Keyphrases
  • term rewriting systems
  • design process
  • databases
  • case study
  • database systems
  • computer architecture
  • programming language
  • parallel algorithm