作者toshiba011 ()
看板EE_DSnP
标题[问题] cirGateV
时间Sun Jan 15 02:15:29 2012
我适用Ric的ref code
有个问题一直搞不懂
麻烦强者解答...
若现在有一个CirGate* g
要把它merge到另一个CirAigGate* aig的fanin0
请问要怎麽接起来??
是用cirGateV接吗?
如果是的话
是用 aig->setIn0((size_t) liter )吗?
liter是 g 的literal
因为在cirMgr.cpp的line79, 81里面
setIn0(), setIn1()是要传入一个gate literal的参数
但是这样不能work欸
假如测资如下(opt06)
aag 14 2 0 1 12
2
4
.
.
10 0 8
8 6 1
.
.
6 0 2
.
aig->setIn0(0) //const 的literal是 0
这样我跑出来的结果是
0 merging 3
3 merging 4
0 merging 5
但应该是
0 merging 3
0 merging 4
0 merging 5
请问为什麽会这样呢?
这样aig的fanin0没有接到const 0
fanin0 的 _id也没有改到 (应该要是0而不是3)
还是我的方法错误了?
谢谢指教
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.192
※ 编辑: toshiba011 来自: 140.112.4.192 (01/15 02:17)
1F：推 ts00834811:aig->setIn0(g->getIn0()())之类的? 01/15 02:21
2F：→ ts00834811:上面打错了应该是g自己的gateV 01/15 02:22
还是不懂欸
这样有改到fanin0的cirGate*吗?
※ 编辑: toshiba011 来自: 140.112.4.192 (01/15 02:31)
3F：推 ric2k1:CirGateV = CirGate* + invPhase + floatPhase 01/15 02:34
4F：→ ric2k1:所以 setIn0() 传进去的是把 CirGate* (addres)转乘 size_t 01/15 02:35
5F：→ ric2k1:後再加上 invPhase, floatPhase 的值, 跟 literal ID 无关 01/15 02:36
6F：推 ric2k1:另外也可以考虑使用 CirGateV::replace() 01/15 02:36
7F：推 ric2k1:setIn0(0) 小心会 crash 哦!! (把 ptr address 设成 0) 01/15 02:38
想请问一下
那为什麽在cirMgr.cpp的line79, 81里面
是传literal?
※ 编辑: toshiba011 来自: 140.112.4.192 (01/15 02:39)
8F：推 ric2k1:因为那时 gate 还没建起来，我是先偷存 literal ID, 01/15 02:58
9F：→ ric2k1:你 trace 一下 code 可以看到在後来 genConnection() 01/15 02:58
10F：→ ric2k1:的时候我会根据 literal ID 把真正的 fanin gate ptr接上去 01/15 02:59
了解 明天再试试看
谢谢教授!
※ 编辑: toshiba011 来自: 140.112.245.82 (01/15 03:22)
11F：推 anfranion:因为getIn0()等传回来的是value，所以等於说你是要 01/15 09:44
12F：→ anfranion:先local存一个CirGateV = gate->getIn0() 01/15 09:44
13F：→ anfranion:接着呼叫local in0.replace(新的Gate ptr, in0.isInv()) 01/15 09:45
14F：→ anfranion:接着再setIn0(in0())...老师overloading operator () 01/15 09:46
15F：→ anfranion:去抓出里头的value... 01/15 09:46
16F：→ anfranion://超级不直观的啦啦啦T_T 01/15 09:48
17F：推 sportsben:抱歉我还是不懂老师说setIn0(0)=>(把 ptr address 设成 01/15 11:41
18F：→ sportsben:0 ) ?? 01/15 11:41
19F：推 anfranion:在後面call setIn0(id) 程式基本上解读是 01/15 11:54
20F：→ anfranion:setIn(ptr) ptr = id .... 反正就是把id当address 01/15 11:55
21F：→ anfranion:解读 01/15 11:55
22F：推 sportsben:喔喔!!!感谢你 01/15 13:19