blob: fab58a886645e25b81e21ae7f303435d2ef45c4d [file] [log] [blame]
read_verilog ../top.v
proc
dff2dffe
simplemap
opt
opt_rmdff
select -assert-count 1 t:$_DFF_N_
select -assert-none t:$_DFF_N_ %% t:* %D