verilog code for asynchronous down counter