作者查詢 / kickpp
作者 kickpp 在 PTT 全部看板的留言(推文), 共423則
限定看板:全部
看板排序:
1F推:推~ 原來如此01/15 17:20
12F→:這篇是report上一篇的情況喔 去看看原文01/15 19:22
2F推:老師的把那個東西放在最底下跑 會刷掉的 跑較大的case看起01/15 16:46
3F→:來 很像跑遊戲在loading的感覺01/15 16:47
1F推:直接接const0的aig好像不會被sat判斷成相等01/15 16:26
2F→:應該是因為這樣merge時會出問題 它是屬於input merge的case01/15 16:27
3F→:但照理說1要merge2 & 3 我的fraig會做 ref不會01/15 16:27
4F→:應該是implement不同的關係吧01/15 16:28
6F→:但如果是第三行是2 8 9這種例子 就會被sat判斷成與const001/15 16:31
7F→:相等01/15 16:31
8F→:這樣不會困擾吧 如果直接接const0的情況也被判斷成相等01/15 16:32
9F→:merge時還要判斷是哪種情況 反而麻煩01/15 16:32
10F推:另外小聲說...你的_numDecl[VARS]錯了XDDD01/15 16:36
11F推:突然發現好像不用另外判斷 那sat應該要判斷出來才對XDDDD01/15 16:41
12F→:剛剛想錯XDD01/15 16:42
8F推:偷偷說 >> 很方便...01/15 13:20
1F推:這應該無法避免 老師在做sim的時候下面會即時播報#FEC pair01/15 13:30
2F推:哦!! 好像可以解決喔! cerr前清一下吧!01/15 13:42
1F推:好複雜 看不懂=___= 這樣是parallel嗎?01/15 04:57
6F推:+101/15 00:06
18F推:hash大沒好處 小的話能跑在電腦cache裡 較快!!01/15 05:00
29F推:hash不要開太大 32左右最好 我這樣速度跟老師差不多01/14 16:09
20F推:樓上因為rnGen()是return int... 所以...01/13 21:35
1F推:謝謝提醒XDDD(抖)01/09 17:37