SystemVerilog calls a counter model in C++