|
|
发表于 2010-6-20 22:32:05
|
显示全部楼层
本帖最后由 dragonet5 于 2010-6-20 22:34 编辑 - ]& U9 E5 n9 Q- G1 X/ q4 I
) t9 K9 ~. H0 K+ ^5 _& i你这个写得不够清楚。6 E1 w1 J( M: l6 g* N
3 K) t6 j3 c8 v5 \+ r
首先,你用随机数流来仿真,那么已产生的部分并不一定就是0.95的合格率,随机数流只是服从一个均值为0.95的分布。' Y$ Z# U# Q% K8 I/ t8 F6 e
/ C x& Z# J* t( k; B5 z& F然后你的程序这样列出也不大能表现你的意思,你也没写你的判定最终是否合格的依据,也没给解释一下你C、D、E是什么变量或属性。
6 l5 O, D, j' N/ l0 G/ k
" u. M5 w2 o, \/ S5 h c, O `最后问一下你的Witness版本。 |
|