1 read_verilog -icells opt_rmdff.v
4 read_verilog -icells opt_rmdff.v
8 select -assert-count 0 c:remove*
9 select -assert-min 7 c:keep*
10 select -assert-count 0 t:$dffe 7:$_DFFE_* %u c:noenable* %i
14 design -import gold -as gold
15 design -import gate -as gate
17 equiv_make gold gate equiv