verilog and do files