blob: f060490eec1a73e43d326da1ae1c8cfc5ef1b7e8 [file] [log] [blame]
read_verilog ../top.v
proc
tee -o result.log wbflip