请教一句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"信息