作者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