[問題] bsim的走法

[skyjason ()]

請問一下，如果我現在有這個Bddnode
(C17.cir)
bdd> brep 13 -ref
[5](-) (1)
  [4](+) (2)
    [2](+) (3)
      [0](+) (137)
      [0](-) (137) (*)
    [0](-) (137) (*)
  [4](+) (1)
    [3](+) (1)
      [2](+) (3) (*)
      [0](+) (137) (*)
    [3](-) (2)
      [0](+) (137) (*)
      [0](-) (137) (*)

==> Total #BddNodes : 7

輸入為01000時

應該是[5](-) -> [4](+) -> X(don't care) -> []

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.247.3
推 a3785lexx:請問你要問的是？
推 slinh:輸入應是從後面看過來00010 所以[5](-) -> [4](+) ->
→ slinh:[3](-) -> [0](-) (137)
→ slinh:有錯請指正
※ 編輯: skyjason        來自: 140.112.247.3        (01/18 20:05)
→ skyjason:謝謝 其實我想把這篇刪掉..  我按錯鍵才po出來= =a
→ skyjason:我發文發到一半的時候 強者我室友剛好回來教我了