Talking of reset behaviour. I have only done work for FPGA before. All initial values will be disregarded right? So initial reg_val = 0 will fail, and so will reg reg_val = 0; The only correct way is to have everything set to initial values on reset.