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