Re: [問題] C499失敗

[ric2k1 (Ric)]

※ 引述《BattleRoyale (翔燄)》之銘言：
: 這邊想問一個有關ITE回傳的問題
: 就是判斷isNegEdge時
: 到底應該是
: if(isNegEdge)
:    ret=~ret;
: return ret;
: 還是
: if(isNegEdge)
:   return ~ret;
: else
:   return ret;
: 之前我一直以為這兩個是一樣的...
: 可是測C499時兩個跑出來的結果是天差地遠
: 一個是兩百多個node 一個是上萬...
: 想請問哪個才是正確的呢?

1. 建議用 "cirg" 來 print out the fanin cone of a PO, say 456

  (cirg 456 -fanin 100)

  (Note: you can write a dofile and use "bdd -f dofile > yourfile" to output

   to a file; remember to put "q -f" at the end)

2. Find some internal signals, build BDDs and compare with my ref program.

   For example,

PO(456)
  !AND(1)
    !AND(2)
      !PI(3)
      AND(4)
        !AND(5)
          !AND(6)
            AND(7)
              !AND(8)
                AND(9)
                  !AND(10)
                    !PI(3) (*)
                    PI(11)
                  !AND(12)
                    PI(3) (*)
                    !PI(11) (*)

   bdd> cirb 12
   bdd> brep 12 -ref
   bdd> cirb 10
   bdd> brep 10 -ref
   bdd> cirb 9
   bdd> brep 9 -ref
   ...

3. Debug from a smaller BDD


Good luck!

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 59.121.131.239
推 BattleRoyale:謝謝教授!