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