sat_ignore_unknown_cells.ys 75 Bytes
Newer Older
1 2 3
read_verilog ../top.v
proc
tee -o result.log sat -ignore_unknown_cells top