abc9_wo_proc.ys 52 Bytes
Newer Older
1 2
read_verilog ../top.v
tee -o result.log abc9 -lut 2