read_verilog -defer <