|
|
发表于 2010-6-20 22:32:05
|
显示全部楼层
本帖最后由 dragonet5 于 2010-6-20 22:34 编辑 6 }2 P4 K- J F3 u. L
, b# V8 \% Z3 x1 e! z你这个写得不够清楚。
+ _$ p3 T6 j: ?# \, n
# C- y8 u/ E! }: o首先,你用随机数流来仿真,那么已产生的部分并不一定就是0.95的合格率,随机数流只是服从一个均值为0.95的分布。
, U1 F, v: U3 B4 `" Z! q
2 f4 _: d7 Z% c6 A3 f$ s然后你的程序这样列出也不大能表现你的意思,你也没写你的判定最终是否合格的依据,也没给解释一下你C、D、E是什么变量或属性。0 U7 I3 q0 C( l
8 U; a$ h1 o* \' z最后问一下你的Witness版本。 |
|