一个基于verilog的数字钟程序,用xilinx的basys2开发板