推 ric2k1:xor, xnor 要對, DeMorgan's law 要對... 06/22 02:32
→ BattleRoyale:xor, xnor都對了 DeMorgan's law是指哪個地方呢? 06/22 02:37
→ BattleRoyale:剛測了一下 ~(a|b) = ~a&~b , ~(a&b) =~a|~b 是ok的 06/22 02:41
想請問一下 如果說C17 C17_r.aag的測資都對了(brep)
但是C499卻錯了可能是怎麼樣的狀況呢?
ref中print 487 大約是4766個node
我的node卻上萬...連的也不正確
這樣可能是什麼問題呢?
--
作BDD平均每個debug的低消是兩小時啊~~~~
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.234