EECS151 / fpga_labs_fa20 / lab5 / spec / lab5_spec.pdf