请教一句system verilog中的断言

sdustyj · 发表于 2011-10-8 16:00:37

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

x

if (random_delay_mode) begin
      assert (std::randomize(delay) with {delay dist {0 := 1, !0 :/ 2};}) else
         $error ("random delay generate error");

      repeat (delay) @(sys_if.cb);
      end

请问红色的那行断言什么意思呀？O(∩_∩)O谢谢指点！！！

gordonyjh · 发表于 2011-10-8 18:06:44

randomize with在线consrtaints结构，后面的constraints和对象delay的原有constaints一起起作用

TommyGG · 发表于 2011-10-8 18:58:55

randomize(delay) with {delay dist {0 := 1, !0 :/ 2}
这个语句执行：
随机化变量delay，且结果为0的概率为1/3，为非0的概率为2/3

assert()的目的是调试，如果随机运算不成功，
则报告断言失败且打印"random delay generate error"信息

modelsim64 · 发表于 2011-10-8 19:55:12

解释正确，到位。支持！

syq0917 · 发表于 2012-4-5 00:58:12

nice~

changyun1209 · 发表于 2013-8-26 16:57:50

支持TommyGG ，正解！

zhuyi1234567899 · 发表于 2013-8-27 11:30:30

回复 1# sdustyj
分布约束

longgepku · 发表于 2015-9-13 19:30:04

一点点的学习

lovehere33 · 发表于 2015-9-17 18:30:23

3楼正解。

[求助] 请教一句system verilog中的断言

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /2