推 brian41:借問一下 老師說cirsim -r會用cirg去測 但是random的次數 01/17 08:57
→ brian41:會依每個人不同 所以simValue也有可能因每個人不同是嗎? 01/17 08:57
→ ric2k1:是的，我們會用 fraig 完 = const 0 的電路去測，或是用 01/17 11:37
→ ric2k1:cirmiter 去測正確性。 01/17 11:37
:
: 我就先從大方向開始講 :
:
: 1. 請大家務必在submission前通過selfcheck, 確定上傳版本自己下載後正常
:
: (拜託, 不要讓助教們到project都還在幫大家改檔名...)
:
: 2. 我們測一律在64 bit machine測, 每個testcase會分別評分, 但每個case下的
:
: commands 會占不同分數, 好比cirsim在test1和test2裡可能比重不同,
:
: 而 testcase 和以往作業一樣由簡單到困難
:
總共大概會有 30 個 testcases, 我還在調整之中。
: 3. 我建議要做的command就要做到沒問題 (robusity對program來說很重要)
:
: 由前幾次作業可以知道只要testcase跑不完一定很低分
:
: 假設你很趕的寫好strash, 但沒有好好測導致會crash或timed-out,
:
: 有可能拿到比你strash整個沒做還低的分數 !!! (depends on left commands)
:
意思像是 sim 後面接 fraig,
但如果你的 sim 必掛 (time out, mem out, sim 錯 等等)，
那即使你寫了 fraig 也是測不到。
所以請確定你有寫的部分是有測過的!!
: 4. 我們會用cirprint和cirgate來判斷你們一些optimization或是simulation做對或錯
:
: 所以請務必將這兩個command做好
:
可以參考新版的 ref src. 我有 open source...
: 5. 對於output的format, 好比cirprint -netlist
:
: 我們都有預想一些地方你們可能和reference program output長得不一樣
:
: (e.g. 大小寫, 空白和tab等等)
:
: 不過還是請儘量和reference program弄得像一點...
:
: 如果跑出來的output實在超過我們的想像, 只好請你(妳)來和我們討論一下
:
對啊! 拜託拜託~~~ 180 份...
:
: 有些同學有問一些比較detail的測試, 我大致上提一下
:
: 1. 以circuit simplification類的command來說, 好比optimize, strash, ...
:
: 這些我們會以cirprint來看你們做對做錯, 至於debug message不會評分
:
: 2. 對於cirsim, 我們會去看cirgate你們印出來的simulation value是否正確
:
: 另外當有pattern file時我們會去比對FEC是否都正確的抓出
:
: 同樣的debug message是給你們自己看的, 不會用它來評分
:
: 3. 有些情形像cirsim -random + fraig, 可能每個人的結果都不盡相同
:
: 這部份會這樣評分 :
:
: 1. fraig後cirprint的電路一定要和fraig前電路functionally equivalent
:
: 2. 如果fraig後電路被fraig掉的node相較於ref program少得太多, 會當
:
: fraig沒做
新版的 ref prog 比之前的快一點點, 也 opt 多一些 gates,
如果你能比 ref prog 快而且 #gates 更小，
而且能通過正確性的測試 (i.e. orig ckt = opt circuit)，那當然很好。
:
: 3. 如果fraig做太久, 也會當fraig做錯
至少會有一兩個 cases 是最後會 fraig 成 const 0 的。
:
: 4. 每個testcase會設一個time out, 基本上最難的testcase也只會有10分鐘
:
: 所以請balance一下cirsim -random和fraig的時間
:
: (注意 : timed-out和crash是同一件事, 理論上10分鐘是超級長的time limit)
:
應該不會有那麼大的 testcases 啦... (會比 sim 13 小一點)
: 5. 理論上project我們不會故意去測一些command上的errorOptions, e.g. Missing ""
:
: 也不會故意去測這方面的robusity
:
:
: 最後請繳交上來的檔名取成 bxxxxxxxx_fraig.tgz,
:
: 當然untar後的資料夾必需是 bxxxxxxxx_fraig
:
:
: SelfCheck for Fraig Can be Downloaded from CEIBA.
:
:
: 想到再補...大家加油 !!!
:
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc)
: ◆ From: 220.133.245.49
: ※ 編輯: chrisioriryo 來自: 220.133.245.49 (01/16 22:50)
: 推 victoret:想請問一下，fraig node 相較 ref " 少太多 " 是少多少？ 01/16 23:12
: → victoret:ex：教授 810 個，我 710 個...這樣算是少 " 太多 " 嗎？ 01/16 23:12
: 推 victoret:有些甚至少超過 100 個...這樣的話會算是...？ 01/16 23:14
可以試一下新版的。
: 推 kickpp:我以為比較少是好的耶... 01/16 23:20
: 推 victoret:我本來也這麼覺得ˊˋ 01/16 23:20
少而正確才是好事。
: 推 victoret:還有想請問，在測的時候...會用 O3 嗎？？？ 01/16 23:23
會用 -O3
: 推 ilovecksc:請問檔名要叫什麼 照慣例好像要叫bxxxxxxxx_fraig.tgz 01/16 23:31
: → ilovecksc:但是這樣self check好像過不了? 01/16 23:31
: 推 alvin1019127:改依下selfcheck中的split 01/16 23:33
: 推 kickpp:也沒有規定檔名阿= = 01/16 23:37
: → e124553423:可以看一下2642 01/16 23:38
: 推 percentage:請問所謂的debug message試紙什麼呢 01/16 23:49
: → victoret:猜測是指說像是 Fraig: 55 merging !443 之類的吧...猜啦 01/16 23:53
: → chrisioriryo:阿...我打錯了XD 是"被fraig掉"的node比ref少太多 01/16 23:57
: → chrisioriryo:Selfcheck我等下會幫大家try一下 01/16 23:59
: 推 victoret:感謝（剛剛緊張了好久 XDDDDDD）！！！ 01/17 00:04
: ※ 編輯: chrisioriryo 來自: 220.133.245.49 (01/17 00:20)
: 推 sidney78:cirsim的部分 會看random後的simulation value? 01/17 00:20
用 cirg 看
: ※ 編輯: chrisioriryo 來自: 220.133.245.49 (01/17 00:21)
: → chrisioriryo:sim -random應該不會check sim value, 會用在fraig 01/17 00:24
: → chrisioriryo:To victoret : 會開O3 01/17 00:25
: → sidney78:3Q 01/17 00:27
: 推 victoret:了解！謝謝助教！ 01/17 00:32
: 推 ntueesuevan:請問是不是不會用cirg -fanin 或 -fanout測呢 01/17 00:53
: → chrisioriryo:這很難說...(我手上還沒有testcase) 01/17 00:54
: → chrisioriryo:不過既然spec上有這個command, 理論上就會去測它 01/17 00:55
應該不太會... 不過我還沒準備好 testcases 就是了...
: → wmin0:所以第四點會不會含有const0的FEC啊...= = 01/17 00:55
: → chrisioriryo:不好意思...請問你要問的是...?! 01/17 00:58
: → victoret:應該是問說 FEC 裡面會不會包括 CONST 0 吧... 01/17 00:59
: → victoret:因為之前教授有篇推文說會改 ref...覺得假如要改，時間是 01/17 01:00
: → victoret:有一點點趕... 01/17 01:00
: → chrisioriryo:喔...這可能有點tricky, 我們會以ref program為準 01/17 01:01
: → chrisioriryo:或許最後不會出現這種testcase 01/17 01:01
: → victoret:應該說，想知道 CONST 0 和非 FEC Group 的成員...會不會 01/17 01:07
: → victoret:在 fraig 裡 merge...現在是不會，可是不太清楚之後的... 01/17 01:07
: → wmin0:呃...因為教授還沒把他更新的ref丟上來...所以有點抖... 01/17 01:08
: → victoret:超抖 +1... 01/17 01:08
: 推 wmin0:總之就是兩個地方 1.cirg 0 的fec欄會不會有東西 01/17 01:12
: → wmin0: 2. cirp -fec 會不會看到某個pair裡面有0 01/17 01:13
: 推 kickpp:我的是不會的 樓上的會有嗎?? 01/17 01:33
: → wmin0:原ref沒有 我的也沒有 就怕新ref有... 01/17 01:35
哈哈，答對了。新的 ref prog. 有，但是我們會在測試時把他 filter 掉，
不會影響大家的成績的。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.61.155