Microprocessor Specification in Hawk.

John Matthews Byron Cook John Launchbury

Published in: ICCL (1998)

Keyphrases

functional verification
specification language
high level
high speed
special purpose hardware
conceptual model
website
information systems
natural language
general purpose
petri net
formal methods
learning algorithm
instruction set
asynchronous circuits
information retrieval
real world