|
|
发表于 2010-6-20 22:32:05
|
显示全部楼层
本帖最后由 dragonet5 于 2010-6-20 22:34 编辑 & z1 p. ?# w. A- j' \
, g) C. ~2 b6 [: k% }& ~( z. {
你这个写得不够清楚。, K' i4 _! f+ T
! y4 e+ S9 X4 O
首先,你用随机数流来仿真,那么已产生的部分并不一定就是0.95的合格率,随机数流只是服从一个均值为0.95的分布。
, G/ D( r, g0 o$ t( |, D
% Y0 ^6 a- H% W然后你的程序这样列出也不大能表现你的意思,你也没写你的判定最终是否合格的依据,也没给解释一下你C、D、E是什么变量或属性。
{# r0 A, I) P5 V! Q! R3 x; z: D" B+ w: o+ V8 Q
最后问一下你的Witness版本。 |
|