tests/various/pmux2shiftx.ys

   1 read_verilog pmux2shiftx.v
   2 design -save read
   3
   4 hierarchy -top pmux2shiftx_test
   5 prep
   6 design -save gold
   7
   8 pmux2shiftx -min_density 70
   9
  10 opt
  11
  12 stat
  13 # show -width
  14 select -assert-count 1 t:$sub
  15 select -assert-count 1 t:$mux
  16 select -assert-count 1 t:$shift
  17 select -assert-count 3 t:$shiftx
  18
  19 design -stash gate
  20
  21 design -import gold -as gold
  22 design -import gate -as gate
  23
  24 miter -equiv -flatten -make_assert -make_outputs gold gate miter
  25 sat -verify -prove-asserts -show-ports miter
  26
  27 #design -load gold
  28 #stat
  29 #
  30 #design -load gate
  31 #stat
  32
  33 design -load read
  34 hierarchy -top issue01135
  35 proc
  36 pmux2shiftx -norange
  37 opt -full
  38 select -assert-count 0 t:$shift*
  39 select -assert-count 1 t:$pmux