作者查詢 / Letitiamm

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

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

限定看板：EE_DSnP

看板排序：

全部EE_DSnP43GFonGuard35NtuDormF312NTU_BOTDorm4MAC3NTUDormFJr3third-person2Army-Sir1NtuDormF21Perfume1teeth_salon1<< 收起看板(11)

首頁

尾頁

Re: [閒聊] 結束了... 想聽聽大家的意見

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

作者: BBSealion - 發表於 2011/01/18 17:11(15年前)

2^F推Letitiamm:同感推01/19 03:07

[閒聊] 上面那篇...

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

作者: ric2k1 - 發表於 2011/01/18 00:26(15年前)

5^F推Letitiamm:我剛剛怕老師看不到太上面的推用回文結果老師瞬推01/18 00:45

6^F→Letitiamm:我就自D了 xd01/18 00:45

[問題] PO PI be merge?

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

作者: Letitiamm - 發表於 2011/01/17 23:15(15年前)

5^F→Letitiamm:我只有設一個gate的兩個fanin: 一樣,或有const gate01/17 23:49

6^F→Letitiamm:還有fec證實相等的時候才merge01/17 23:51

7^F→Letitiamm:還有strhash 把兩個gate merge起來我有漏掉什麼嗎？01/17 23:52

9^F→Letitiamm:所以我這樣有算沒有化簡完嗎？?還有哪些還需要再化01/18 00:11

[問題] ref segementation fault

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

作者: Letitiamm - 發表於 2011/01/17 17:46(15年前)

2^F→Letitiamm:是不是strash完後 fec忘記改？01/17 18:01

Re: [討論] To SAT or not to SAT?

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

作者: BBSealion - 發表於 2011/01/17 13:36(15年前)

8^F推Letitiamm:請問一下如果沒有做optimization是不是還要01/17 16:40

9^F→Letitiamm:solver.assumeProperty(const,false) ??01/17 16:41

11^F推Letitiamm:誒都我本來想說如果我還有const gate沒有消掉01/17 17:25

12^F→Letitiamm:在assumeProperty的時候是不是要也要把const gate01/17 17:26

13^F→Letitiamm:對應的Var 設成false??01/17 17:27

16^F推Letitiamm:恩恩恩我是指const001/17 17:29

20^F推Letitiamm:請問老師的意思是對於const0我不用給他一個Var,01/18 00:30

21^F→Letitiamm:直接_gate[id]->setVar(0) 在裡面放0就好了嗎01/18 00:31

[問題] 關於sim的testcase

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

作者: seanlatias - 發表於 2011/01/17 10:45(15年前)

1^F推Letitiamm:我的sim12.aag也超慢的害我都以為他當機了XD01/17 11:01

[閒聊] 人氣紀錄 (59)

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

作者: ric2k1 - 發表於 2011/01/17 01:13(15年前)

2^F推Letitiamm:XDDDDDD01/17 01:21

Re: [問題] 關於 sat solver 的用法

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

作者: ric2k1 - 發表於 2011/01/17 00:34(15年前)

1^F推Letitiamm:我瞭了謝謝老師 ^.<01/17 01:09

Re: [問題] sat

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

作者: ric2k1 - 發表於 2011/01/16 00:34(15年前)

1^F推Letitiamm:所以fraig之後應該要都沒有FEC嗎？？01/16 00:37

2^F→Letitiamm:還有CIRsat 是不是就是fraig 只是不一定要做完？？？01/16 00:38

11^F推Letitiamm:喔喔喔謝謝老師01/16 00:55

[問題]

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

作者: Letitiamm - 發表於 2011/01/15 20:09(15年前)

2^F→Letitiamm:好險我之前有備份寫完再研究原因好了謝謝樓上01/15 20:26

首頁

尾頁