blob: 20051cc6b5d0eb34978c67bac67eef16822ed556 [file] [log] [blame]
read_verilog ../top.v
synth_xilinx
flatten
stat
select -assert-count 1 t:BUFG
select -assert-count 1 t:FDRE
select -assert-count 1 t:FDRE_1