Does anyone have the VERILOG code that is on when the DIGILENT XILINX BASYS 3 trainer board is first powered on? It has a counter counting up from zero to nine on the display digits, the center button resets the counter, the other buttons make the respective digit turn off.