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