随着电子设计复杂性的增加，传统的定向测试方法已不足以全面验证设计功能。为了解决这一问题，随机测试被引入。通过系统函数randomize可以生成随机数，成功随机化时返回1，否则返回0。以扑克牌为例，rand代表抽牌后放回，randc则表示不放回，直到牌堆耗尽后重新洗牌。这种方法对于大规模系统的验证更为有效。
课程链接：https://www.bilibili.com/video/BV1k7411H7Jo?p=19
这部分对应的是绿皮书第六章的内容。
随着设计变得越来越大，要产生一个完整的激励来测试设计的功能变得越来越困难。定向激励的测试方式早已无法满足检查功能完整性的要求。面对这样庞大的系统，验证工程师无法预测用户会遇到什么样的问题，因此引入了随机测试。
利用系统函数randomize产生随机数的方法。函数有返回值，如果随机化成功则返回1，否则返回0。
生成随机数的函数有很多，在程序中每次调用这些函数生成的随机数都是随机的。
用扑克牌举例，rand是指抽完一张牌以后放回牌堆再抽一张。而randc是指不放回地再抽一张，抽了54次以后重新洗牌再接着抽。
扫一扫
153
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
