Added testbench for counter