check_noinit.ys 64 Bytes
Newer Older
1
read_verilog -sv ../top1.v
2 3
proc
tee -o result.log check -noinit