内嵌约束块randomize () with和soft软约束

在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中只要有一个约束不满足选项或者起冲突的话,那么这个随机数过程就是失败的,编译的结果就是报错。
  • 1
    点赞
  • 14
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值