如何真正做到随机化验证

bandit · 发表于 2011-8-15 16:20:18

您需要登录才可以下载或查看，没有账号？注册

x

各位大侠：在验证中，如果针对某个模块验证，难道是对这个模块的所有输入信号随机化吗？产生随意的场景吗？这就是随机化验证吗？
大家对验证谈谈自己的看法和领悟吧

bandit · 发表于 2011-8-15 16:22:31

我自己先顶一个

y3rike · 发表于 2011-8-16 11:33:03

用量保证伪随机的充分性就可以了

xianrenwang · 发表于 2011-8-16 23:04:47

随机可能工作量太大，需要添加约束，考虑断言

登录/注册后可看大图

[讨论] 如何真正做到随机化验证