Using term rewriting systems to design and verify processors.

Arvind Xiaowei Shen

Published in: IEEE Micro (1999)

Keyphrases

term rewriting systems
design process
databases
case study
database systems
computer architecture
programming language
parallel algorithm