select_no_sel_to_check_as_max.ys 97 Bytes
Newer Older
1 2 3 4
read_verilog ../top.v
proc
tee -o result.log select -assert-max 3
tee -o result.log select -list