read_verilog ../top.v proc tee -o result.log setattr -set u 1 top tee -o result.log setattr -unset u top
tee -o result.log dump
