Hawk: A hardware speci cation language, version 1. Available at www.cse.ogi.edu/PacSoft/projects/Hawk (1997)

by E Sinderson