tests/opt/opt_rmdff.ys

   1 read_verilog -icells opt_rmdff.v
   2 prep
   3 design -stash gold
   4 read_verilog -icells opt_rmdff.v
   5 proc
   6 opt_rmdff
   7
   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
  11
  12 design -stash gate
  13
  14 design -import gold -as gold
  15 design -import gate -as gate
  16
  17 equiv_make gold gate equiv
  18 hierarchy -top equiv
  19 equiv_simple -undef
  20 equiv_status -assert
  21
  22 #design -load gold
  23 #stat
  24 #
  25 #design -load gate
  26 #stat