read_verilog ../top.v proc select -add top tee -o result.log select -del top tee -o result.log select -list
