作者BattleRoyale (翔燄)
看板EE_DSnP
標題[問題] 不知道該從何問起
時間Sun Jun 15 22:02:54 2008
感覺上是有點大的問題 但我不知道該從何找起
就是test.cpp的部份 我已經完成standardize和check terminal的部份了
and or 或是test 中的
BddNode d = a & b | a & c;
BddNode e = a & (b | c);
這些都可以
但是我測XOR f=a^b時
這是教授的ref 手動測的(自己去bsetv 再bxor)
[2](-) 0x80863d8 (1)
[1](+) 0x8085088 (3)
[0](+) 0x8084f58 (131)
[0](-) 0x8084f58 (131) (*)
[1](-) 0x8085088 (3) (*)
這是我的結果(我還是在test.cpp中測喔)
[2](+) 0x8067c78 (1)
[1](+) 0x8067c48 (4)
[0](+) 0x8067c20 (9)
[0](-) 0x8067c20 (9) (*)
[1](-) 0x8067c48 (4) (*)
第一個問題是:
我不知道為什麼第一個level 2跑出來的是(+)而不是(-)
因為move bubble教授已經寫好了(據說是沒清乾淨orz!?)
xor傳的和standardize也檢查過了orz
所以可能還有哪裡會出問題呢?
第二個問題是 ref不同 我想請問這個問題是不是因為還沒完成整個BDD的關係?
還是說現階段就可以確保ref同了?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.235
※ 編輯: BattleRoyale 來自: 140.112.4.235 (06/15 22:06)
1F：推 ric2k1:1. 的確是忘了將那三行 D掉(放水啦)...請檢查一下isNedEdge 06/15 22:31
2F：→ ric2k1:2. 測的方法不同, 當然 reference count 可能會不同 06/15 22:32
3F：→ BattleRoyale:請問是isNedEdge還是isNedEdge()呢 06/15 22:46
4F：推 ric2k1:isNedEdge 06/15 23:39
5F：→ BattleRoyale:那請問教授 除了在左邊有bubble外 其他狀況有可能更 06/16 00:15
6F：→ BattleRoyale:動isNegEdge的值嗎@? 06/16 00:16
7F：推 bnsblue:應該是要確保每一個node的左腳不會有bubble就好 06/16 00:32
8F：→ BattleRoyale:Orz 已經找了兩個多小時了還沒找出來 囧 06/16 00:39
9F：推 ric2k1:就是要檢查最後 isNegEdge 是否為 true... (是的話然後呢?) 06/16 01:28