作者ilway25 (唉唷喂)
看板EE_DSnP
標題[請益] GateID 怪怪的..
時間Sun Jun 21 12:36:36 2009
下面是我的結果，發現 PI 3GAT 的 ID 是 1
bdd> cirr testcases/C17.cir
bdd> cirsetv -file
bdd> cirb 5
Building 5: AND 11GAT
Building 1: PI 3GAT // 這 3 行是自己加的
Building 4: PI 6GAT
bdd> brep 5
[4](+)
[1](+) // ref 跑出來是 3
[0](+)
[0](-) (*)
[0](-) (*)
==> Total #BddNodes : 3
不知道為什麼囧 de 很久... 希望有人能解答我的疑惑xd
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.245.11
※ 編輯: ilway25 來自: 140.112.245.11 (06/21 12:48)
1F：→ ilway25:不知道怎樣改好了，但是又有另一個 bug ...... 06/21 13:12
2F：→ ilway25:話說剛剛跑 ref C7552, 21分後，segmentation... 06/21 14:46
3F：推 timrau:C7552無法在4GB memory內跑出來吧 06/21 15:23
4F：→ ilway25:對耶，沒想到.. 06/21 16:28