tee -o result.log read_verilog -dump_ast1  ../top.v