I'm trying to simulate gfmpw-1c. There is no testbench in verilog/dv/. Is there an example how to test the counter in rtl/user_proj_example.v?