read_verilog ../top.v proc tee -o result.log select -write out.txt -assert-count 4 top tee -o result.log select -list
