EECS151 / fpga_labs_fa20 / lab3 / spec / lab3_spec.pdf