作者查詢 / ric2k1

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

作者 ric2k1 在 PTT [ EE_DSnP ] 看板的留言(推文), 共5216則

限定看板：EE_DSnP

首頁

尾頁

[問題] cirmiter的用法?

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

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

1^F推ric2k1:"都是cirsw+ciropt+cirsw+cirstr+cirsw就把所有的AIG都清掉01/15 02:02

2^F→ric2k1:所以跟 cirmiter 的關係是?01/15 02:03

9^F推ric2k1:你可以用 sim**.aag 去 optimize (sweep+opt+sim+fraig)*201/15 03:04

10^F→ric2k1:存成 sim**_opt.aag 之後再把兩者用 cirmiter 接起來01/15 03:05

11^F→ric2k1:然後你應該就可以產生一個 outputs = 0s 的電路了01/15 03:06

12^F推ric2k1:你是在問這個嗎?01/15 03:06

[閒聊] compiler累了

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

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

2^F推ric2k1:這... 應該恭喜你嗎?01/15 02:04

[問題] Solver::propagate(): Assertion

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

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

3^F推ric2k1:看來 memory 有被 corrupt 掉... 只能 comment out 掉一些01/15 02:05

4^F→ric2k1:code 慢慢查看，或是呼叫 valgrind 了...01/15 02:06

[問題] 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

首頁

尾頁