read_verilog ../top.v
mutate -list 512 -o mutate.ys
script mutate.ys
tee -o result.log dump