read_verilog ../top.v proc tee -o result.log select select */t:$mux %x: */t:$mux %d tee -o result.log select -list
