HDL for the FPGA on the Digilent Atlys Board