docs/examples/tristate/tristate.sby

   1 [tasks]
   2 pass
   3 fail
   4
   5 [options]
   6 mode prove
   7 depth 5
   8
   9 [engines]
  10 smtbmc
  11
  12 [script]
  13 read -sv tristates.v
  14 pass: prep -top top_pass
  15 fail: prep -top top_fail
  16 flatten; tribuf -formal
  17
  18 [files]
  19 tristates.v