read_verilog ../top.v select n:\\SUM/N10 tee -o result.log select -list