read_verilog -sv ../top.v proc design -save first tee -o result.log design -copy-from first -as top_2 top tee -o result.log design -copy-to first -as top_2 top
