@TechReport{pace:report1999,
	AUTHOR  = {Gordon J. Pace},
	TITLE   = {Correct Hardware Compilation With Verilog HDL},
	YEAR    = {1999}
}