blob: c9b5d947bc57f1a95cc35b1c2b6d0e25518f7ef2 [file] [log] [blame]
read_verilog ../top.v
synth -top top
select -assert-count 1 t:$_DFF_P_
select -assert-none t:$_DFF_P_ %% t:* %D