作者查詢 / ric2k1

總覽項目：發文 | 留言 | 暱稱

作者 ric2k1 在 PTT 全部看板的留言(推文), 共5594則

限定看板：全部

首頁

尾頁

[問題] Selfcheck不會過

[ EE_DSnP ]7 留言, 推噓總分: +5

作者: david942j - 發表於 2013/01/15 01:32(11年前)

2^F推ric2k1:把第 40 行 _hw 改成 _fraig 試試看?01/15 02:11

3^F→ric2k1:See #358201/15 02:12

Re: [問題] Ref的小問題

[ EE_DSnP ]5 留言, 推噓總分: +1

作者: ric2k1 - 發表於 2013/01/14 01:25(11年前)

1^F→ric2k1:如果把 aag 第四行改成 4 3 3, 然後 pattern 改成 001/14 01:29

2^F→ric2k1:ref 也會有 [0] !2 這個 FEC pair 哦!01/14 01:30

4^F→ric2k1:的確，請不要把 PI & PO 放到 FEC pairs 裏頭，我發現 spec01/14 01:44

5^F→ric2k1:裏頭關於這點好像沒有明講...01/14 01:44

Re: [問題] FEC

[ EE_DSnP ]10 留言, 推噓總分: +4

作者: ric2k1 - 發表於 2013/01/13 01:44(11年前)

3^F→ric2k1:說實在的，如果對 SAT 沒有一點概念其實有點難改01/14 01:26

4^F→ric2k1:不過有概念之後其實也就不難改了...01/14 01:27

5^F→ric2k1:倒也不用完全看懂 Solver.cpp，但對於 SAT 的演算法要懂01/14 01:28

[心得] src/sat/test/Makefile

[ EE_DSnP ]4 留言, 推噓總分: +2

作者: taldehyde - 發表於 2013/01/13 00:40(11年前)

1^F推ric2k1:啊! 的確是給錯檔案，不過照原 PO 那樣講去改就可以了!01/13 00:49

2^F→ric2k1:satTest2.cpp 與 satTest.cpp 其實差不多，只是 netlist01/13 00:50

3^F→ric2k1:稍微改一下而已。01/13 00:50

[問題] Updating by SAT???

[ EE_DSnP ]6 留言, 推噓總分: +2

作者: yan12125 - 發表於 2013/01/12 17:52(11年前)

1^F推ric2k1:反正其他的 bits 也沒有要用，隨便塞一些值應該沒有關係吧!01/12 22:04

3^F推ric2k1:對啊，fraig 在 sim 的時候其他的 bits 應該是什麼值都01/12 22:57

4^F→ric2k1:無所謂吧! 反正是 parallel sim.01/12 22:58

5^F→ric2k1:我是指 input patterns 啦!01/12 22:58

[閒聊] PTT 就要步上 M$N 的後塵了嗎?

[ EE_DSnP ]18 留言, 推噓總分: +11

作者: ric2k1 - 發表於 2013/01/12 00:29(11年前)

10^F→ric2k1:哦哦，那就好，所以說今年度大家應該會做得比去年還要好嗎?01/12 23:34

11^F→ric2k1:看來我的測資要多準備一些了，KK...01/12 23:34

13^F→ric2k1:我沒有說要多加殺爆全班的測資啊~~ 殺爆全班對於評分應該01/13 00:11

14^F→ric2k1:沒有幫助吧 (就是調分係數改一下而已)!? 而是要多一些 case01/13 00:12

15^F→ric2k1:去把大家測出來的分數稍微分開一些...01/13 00:13

[問題]undefined reference to 'typeinfo for..'

[ EE_DSnP ]11 留言, 推噓總分: +5

作者: Phantasnix - 發表於 2013/01/05 00:39(11年前)

1^F推ric2k1:如果 virutal function, static 都檢查過了，哪可能只好01/05 01:29

2^F→ric2k1:把心寫的東西用 binary search comment out 掉，看看到底是01/05 01:29

3^F→ric2k1: (新寫) | 哪裡的問題...01/05 01:30

5^F推ric2k1:是嗎? 我想版本控制的 tool 應該摸一下就上手了吧! 問題是01/05 02:08

6^F→ric2k1:沒有機會練習的話可能有是沒有用... (我來想想新的 project01/05 02:08

8^F推ric2k1:的確有可能因為少 const 而被視為不同 functions, 造成某些01/05 20:18

9^F→ric2k1:pure virtualfunction 沒有被所有的 derived class inherit01/05 20:19

[問題] FEC觀念問題

[ EE_DSnP ]33 留言, 推噓總分: +5

作者: yan12125 - 發表於 2013/01/01 23:38(11年前)

1^F推ric2k1:因為 00...000 與 11...111 是 inverse FEC，所以還是會被01/01 23:50

2^F→ric2k1:放在同一組，只是加上 ! 變成 !401/01 23:51

9^F推ric2k1:你這麼說的確有道理，ref prog 的確沒有把這個因素考慮進去01/02 00:12

10^F→ric2k1:我等一下有空來改一下。01/02 00:14

12^F推ric2k1:不過我又想了一下，在正常的 parrallel pattern 模擬底下01/02 00:21

13^F→ric2k1:兩個 gates 要前一次 32 個 patterns 是 eq, 下一次 32 個01/02 00:21

14^F→ric2k1:patterns 是 inv-eq 的機率幾乎是 0, 為了這樣去改變我收集01/02 00:22

15^F→ric2k1:FEC pairs 的機制似乎不太划算，所以我就不改了。01/02 00:23

16^F→ric2k1:我們在測的時候會注意不要讓這樣的情形發生。01/02 00:23

20^F推ric2k1:不懂... 不過基本上這不會影響 FRAIG 的正確性。也許在某些01/02 00:45

21^F→ric2k1:case 會讓 cirp -FEC 不夠精確，但我想 sim 的重點還是要快01/02 00:46

22^F→ric2k1:而且夠就好，誤判的情形就交給 SAT，整體來說應該是比較好01/02 00:47

23^F推ric2k1:簡單的說，如果前面 32n 個 parallel patterns讓兩個 gates01/02 01:15

24^F→ric2k1:的反應一樣，但下 32 個亂數的 parallel patterns 卻讓01/02 01:16

26^F→ric2k1:這兩個 gates 的反應正好反向，這樣的電路真的是太奇怪了，01/02 01:17

27^F→ric2k1:都給 SAT 去解 SAT(f == g) // 因為反向01/02 01:18

28^F→ric2k1:應該會一下子就解出來了，所以也不會有什麼 overhead01/02 01:19

29^F→ric2k1:但為了要檢查這種情形，以我目前的 implement 來說卻要01/02 01:19

30^F→ric2k1:多記/多傳一些東西，我覺得是不值得的。01/02 01:20

[問題] ref/fraig segmentation fault

[ EE_DSnP ]4 留言, 推噓總分: +1

作者: yan12125 - 發表於 2012/12/30 20:57(11年前)

1^F推ric2k1:Somehow 我在我的工作站不會 crash... 你有大一點的case嗎?12/31 14:47

2^F→ric2k1:或許我加個 exception handling 好了!12/31 14:48

[問題] 為什麼這樣不會segmentation fault

[ EE_DSnP ]18 留言, 推噓總分: +7

作者: XDucka - 發表於 2012/12/29 20:57(11年前)

13^F推ric2k1:呵呵，這個在 lecture note #7, p6 也有教過哦!12/29 21:50

首頁

尾頁