作者ckaha (★閃亮數學推理★)
看板EE_DSnP
標題[問題] cirr/cirg
時間Mon Jun 23 22:16:01 2008
當我用了cirr 吃了C17.aag
用cirp -n -s 都可以看到電路已經在裡面了
但用cirg 想去執行 cirg 15 -fani 10
他會說錯誤 找不到這個gate
更糟糕的是
接下來用cirg 1 -fani 2
就crash...
可能是那個函式少寫了呢？
------------------------------------------------------------------------
上面耍呆了 (發現問題了 cirGate.cpp未完成...)
------------------------------------------------------------------------
問題現在是
reportFaninRecur 的 使用方式是？？
cirBdd
PI的supportBdd 裡頭應該是varId？
-------------------------------
抱歉上面也是打錯
-------------------------------
在建立cirPiBdd時
getSupport 裡頭放的是 cirPiGate的varId?
--
台大數學系
向下沉淪委員會
目前會員:
ckaha 榮譽會員:
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 125.225.144.58
1F：推 ric2k1:C17 沒有 gateID = 15 呀... 06/23 22:18
※ 編輯: ckaha 來自: 125.225.144.58 (06/23 22:19)
2F：推 ric2k1:不懂你第二個問題... 06/23 22:18
※ 編輯: ckaha 來自: 125.225.144.58 (06/23 22:25)
3F：→ ckaha:我好像問了笨問題了...^^||我剛剛看懂了.....謝謝老師 06/23 22:34