作者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