read_verilog ../top.v proc tee -o result.log sat -verify -ignore_unknown_cells -show x,y -set x y -set x 1 top
