blob: 9e0e8d1a559c81fd9f49e02150c785703931425c [file] [log] [blame]
read_verilog ../top.v
synth_xilinx
select -assert-count 1 t:BUFT