check_error.ys 63 Bytes
Newer Older
1 2 3
read_verilog -sv ../top.v
proc
tee -o result.log check -assert