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