read_verilog opt_rmdff_sat.v
prep -flatten
opt_dff -sat -nosdff
simplemap
select -assert-count 5 t:$_DFF_P_