Using Term Rewriting Systems to Design and Verify Processors (1998)

by Arvind , Xiaowei Shen
Venue:IEEE MICRO
Citations:53 - 2 self