blob: 1d19b33034141cc1563d305304a15bbd0b12d3c3 [file]
read_verilog ../top.v
proc
tee -o result.log setundef -anyseq