作者davidlue (谘询暨策略主任)
看板EE_DSnP
标题[问题] de Morgan...
时间Wed Jan 17 22:02:37 2007
之前一直以为自己的ite是对的
结果刚刚测试test.cpp
BddNode d = ~(a & b);
cout << d << endl;
BddNode e = ~a | ~b;
cout << e << endl;
---------------------------
[2](-) 0x94c7d78 (1)
[1](+) 0x94c7d00 (3)
[0](+) 0x94c7cc0 (10)
[0](-) 0x94c7cc0 (10) (*)
[0](-) 0x94c7cc0 (10) (*)
==> Total #BddNodes : 3
[2](+) 0x94c7d78 (2) 应该是negative才对..~@@
[1](+) 0x94c7d00 (3)
[0](+) 0x94c7cc0 (10)
[0](-) 0x94c7cc0 (10) (*)
[0](-) 0x94c7cc0 (10) (*)
==> Total #BddNodes : 3
这样应该是ite movebubble的地方不对吗~@@
整个想不透为啥最上层会被动orz
本来以为是BNAND BNOR那些指令写错了
结果发现在这边就错了orz
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.247.17
※ 编辑: davidlue 来自: 140.112.247.17 (01/17 22:02)
※ 编辑: davidlue 来自: 140.112.247.17 (01/17 22:07)
1F：推 ric2k1:会不会是 uniquify() 回来後忘了加 bubble? 01/17 22:15
2F：推 davidlue:喔喔修好了~T.T 感谢老师 01/18 17:28