in the procee of supporting Verilog function