4.2 二进制计数器及其Verilog表述