verilog tweak for synth warning