作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] 关於standardize
时间Sun Jan 7 23:41:01 2007
※ 引述《kahang (终於大四了耶^^)》之铭言：
: 标题: Re: [问题] 关於standardize
: 时间: Sun Jan 7 20:56:00 2007
:
: ※ 引述《ric2k1 (Ric)》之铭言：
: : ※ 引述《kahang (终於大四了耶^^)》之铭言：
:
: : XOR 会有 bug 通常是 bubble 移得不对...
:
: 前文恕删
:
: 我记得老师上课时说把左右边child的bubble弄走的方法是 t = ~t
: 然後把自己的bubble弄走是把inNegEdge negate一下
: 所以我在move bubble的地方的想法是
:
: if (t.isNegEdge())
: {
: t = ~t;
: e = ~e;
: isNegEdge = !isNegEdge;
: }
:
: 呜是我想得太简单吗>"<
: XOR的bug还没有找出来T.T
: --
:
※ 发信站: 批踢踢实业坊(ptt.cc)
: ◆ From: 140.112.247.168
: ※ 编辑: kahang 来自: 140.112.247.168 (01/07 20:56)
: 推 timrau:其实就是这样 01/07 21:24
: → timrau:ite()里面的每个return都要处理isNegEdge 01/07 21:25
: 推 kahang:嗯..我也有检查这个，可是不知为什麽XOR就是不大对囧 01/07 21:30
: → kahang:可以给我一些建议吗><" 01/07 21:31
: 推 kahang:囧...好像是跟_computedTable有关><把它注解掉好像正常了 01/07 22:36
还有一件事情, 也许可以给大家提示一下....
就是 ---
假设 R = ITE(F, G, H), // Note: R 可能有, 也可能没有 bubble...
那麽存进 computed cache 里面的是 ??? (如何看待 R 的 bubble?)
又读出来的是??? (有没有 bubble?)
比方说, (F, 1, 0) 与 (F, 0, 1) 经过 standardize() 过後存进 computed cache
里面的, 是同一个 key 吗?
想一想...
不过
不要把答案公布出来, 让大家也有思考这个问题的机会...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.129.139