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