Re: [問題] C499失敗
※ 引述《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
推
06/23 00:31, , 1F
06/23 00:31, 1F
討論串 (同標題文章)