Verilog clock generator for ADC7988-1 16 bit SPI ADC on MicroZed (ZYNQ 7010)