sat_set_all_undef_at.ys 79 Bytes
Newer Older
1 2 3
read_verilog ../top.v
proc
tee -o result.log sat -set-all-undef-at 3 x  middle