在SV中允许使用randomize()with来增加一些额外的约束,这和在类里增加约束是等效的。但同时要注意的是内部约束和外部约束之间应该是协调,如果出现相互违背的情况,那么随机数值的求解将会失败。
要注意的是在SV中,只要一个约束不满足条件,那么表明整个随机数值求解是失败的,那么编译系统将会报错。
- 在上面这道题中,soft是这道题的关键所在。soft表示的是软约束,如果在一个约束块中使用sotf那么表示这个约束块相比于没有使用soft的约束块(硬约束块)的优先级要低。在题意中,因为有soft的存在,所以在SV中执行的约束块是randomize() with {addr inside [200:300];data inside [10:20]},同时还执行程序中所有除了含有soft关键字的约束块(不考虑第三个randomize() with),因此本道题选择c。要注意的是除了soft软约束块外,所有的约束块都是并行的。
- 如果在上面这道题中,没有soft关键字。全是硬约束块的话,那么这道题将会选 B。因为没有soft关键词的话,那么第一个randomize with和题意中的andomize with的addr的约束是冲突的(不考虑第二个和第三个randomize的情况下)。在SV中只要有一个约束不满足选项或者起冲突的话,那么这个随机数过程就是失败的,编译的结果就是报错。