: 以下的問題感覺有點零碎... : : 1. cirsim -r 的部分，想斗膽請問一下，教授的 MAX FAIL 是如何決定的？？？ : : 因為自己實際去跑的時候...有些會跑到 xx 萬個 pattern... : : （好像是 sim09 還 sim12 忘了，sim13 不敢測 XD） : : 感覺起來實在是太多了...可是又很擔心說 sim 的太少等一下 fraig 會崩潰... : 這部分就是要請你們自己調，把可能會影響的因素加入 MAX_FAIL 的因素裡。 當然，還有呼叫 SAT 的順序與方法 (雖然與 MAX_FAIL 無關) 也是可以調一下。 : 2. fraig 的部分... : : 在投影片裡面看到幾個驚悚的東西... : : (1) 好像有說假如有些 case 證太久的話就要放棄... : : 請問這個部分要用 SAT 裡的哪些指令才能做到呢？？？ : 這部分要自己去改一下呼叫 SAT 的介面。 我是沒有做啦! : (2) 假如 SAT 的話，要把這個 SAT 的 input pattern 記下來去做 simulation : : 請問這個意思是說... : : 在 fraig 到一半的時候，假如出現 SAT : : 就要把那個 pattern 直接拿去 simulate : : 然後產生新的 FECGroup 然後再繼續 fraig 嗎？？？ : 嗯，當然是收集到一些 patterns 之後再去 simulate。 : 還請各位幫忙，謝謝！！！ : : -- : ◆ From: 123.192.136.173 : 推 kickpp:1.自己定義一個threshold func. 我也很好奇教授的是甚麼XD 01/16 00:49 : → kickpp:2.之前問老師的結果好像ref也沒做這個 老師口中的進步空間 01/16 00:50 : → kickpp:2.(2) 對 你可以收集一些在一起做... 01/16 00:50 : → victoret:所以 2. 的部分都是 feature 而已...嗎？ 01/16 00:56 : → victoret:總覺得真的做起來又是十幾二十小時的以上的東西了... 01/16 00:56 其實你 sim 的 code 如果有做好 modulize 的話，其實還算簡單啦! : → victoret:那，fraig 只需要把 FEC Group （儘可能）消滅掉...是嗎? 01/16 00:57 : 推 kickpp:(1)不是一定要做 (2)的話...只能說NP problem後來會很可怕 01/16 01:03 : → kickpp:應該fraig完 cirp -fec理論上要全空的 01/16 01:04 是的，fraig 之後 cirp -fec 應該要全空哦! : 推 wmin0:man alarm, 不過我也沒做...太麻煩了= = 01/16 03:17 : → wmin0:附上http://dl.dropbox.com/u/19808353/alarm.cpp 01/16 03:47 : 推 takua624:那決定了，(2)的解決方式就是：不爽就多SIM-FRAIG幾次!! 01/16 07:59 哈哈! 注意一下效能啦! 雖然效能的佔分很小。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.36.61.155