blob: e8df4601b2d3b6bb6e330ccf26af9e9c0bee7e2f [file] [log] [blame]
read_verilog ../top.v
synth_xilinx
select -assert-count 4 t:FDRE