作者victoret (戲言~)
看板EE_DSnP
標題[請益] 幾個關於 sim 和 fraig 的問題
時間Sun Jan 15 23:35:50 2012
以下的問題感覺有點零碎...
1. cirsim -r 的部分，想斗膽請問一下，教授的 MAX FAIL 是如何決定的？？？
因為自己實際去跑的時候...有些會跑到 xx 萬個 pattern...
（好像是 sim09 還 sim12 忘了，sim13 不敢測 XD）
感覺起來實在是太多了...可是又很擔心說 sim 的太少等一下 fraig 會崩潰...
2. fraig 的部分...
在投影片裡面看到幾個驚悚的東西...
(1) 好像有說假如有些 case 證太久的話就要放棄...
請問這個部分要用 SAT 裡的哪些指令才能做到呢？？？
(2) 假如 SAT 的話，要把這個 SAT 的 input pattern 記下來去做 simulation
請問這個意思是說...
在 fraig 到一半的時候，假如出現 SAT
就要把那個 pattern 直接拿去 simulate
然後產生新的 FECGroup 然後再繼續 fraig 嗎？？？
還請各位幫忙，謝謝！！！
--
理所當然的某項事物，卻會以某天為區隔，從此變得不再理所當然。
恩田陸 夜間遠足
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.136.173
1F：推 kickpp:1.自己定義一個threshold func. 我也很好奇教授的是甚麼XD 01/16 00:49
2F：→ kickpp:2.之前問老師的結果好像ref也沒做這個 老師口中的進步空間 01/16 00:50
3F：→ kickpp:2.(2) 對 你可以收集一些在一起做... 01/16 00:50
4F：→ victoret:所以 2. 的部分都是 feature 而已...嗎？ 01/16 00:56
5F：→ victoret:總覺得真的做起來又是十幾二十小時的以上的東西了... 01/16 00:56
6F：→ victoret:那，fraig 只需要把 FEC Group （儘可能）消滅掉...是嗎? 01/16 00:57
7F：推 kickpp:(1)不是一定要做 (2)的話...只能說NP problem後來會很可怕 01/16 01:03
8F：→ kickpp:應該fraig完 cirp -fec理論上要全空的 01/16 01:04
9F：推 wmin0:man alarm, 不過我也沒做...太麻煩了= = 01/16 03:17
11F：推 takua624:那決定了，(2)的解決方式就是：不爽就多SIM-FRAIG幾次!! 01/16 07:59