read_verilog ../top.v
proc
equiv_opt -assert prep
prep -top frozen
tee -o result.out dump
write_verilog top.v