add testbench for counter, new doc for