EECS151 / fpga_labs_fa20 / lab4 / spec / lab4_spec.pdf