Hay I am trying to run a simple counter .My io_ports_tb is failing each time.Please help me out.I have attached my verilog code,testbech and the error.But I used EDAplaygrpund to verify the testbench instantiating user_proj_example,it passed the test.

Make sure the GPIOs you are monitoring are configured as a user output. You can change the configuration using the C code or change the default values via user_defines.v file

Thank you for your response.But thats what I did in both i.e. user_defines.v and io_ports.c

can you share your user project wrapper module

user_defines.v,user_project_wrapper.v,user_proj_example.v,io_ports.c,io_ports_tb.v

try add in user_project_wrapper

assign io_oeb[11:8] = 4'b0

Thank you for your suggestion.I am running the code now.I hope it works