read_verilog ../top.v
tee -o result.log scc top
proc
tee -o result.log scc top
synth
tee -o result.log scc top