@PhdThesis{pace:thesis1998,
	AUTHOR  = {Gordon J. Pace},
	TITLE   = {Hardware Design Based on Verilog HDL},
	SCHOOL  = {Computing Laboratory, University of Oxford},
	YEAR    = {1998}
}