LED-counter for Nexys2 board, 1200-model, using Verilog HDL