read_verilog ../top.v tee -o result.log cutpoint top/y top/x top/cout top/A top/cin tee -o result.log cutpoint top
