2. SystemVerilog随机化基础：rand与randc关键字，随机变量的声明与约束块

好，咱们正式开始聊随机化。说实话，我刚入行那会儿，对随机化是又爱又怕。爱的是它能帮我自动生成海量测试，怕的是——万一随机出来的东西根本不符合协议规范怎么办？

后来我明白了，随机化的核心就两个东西：变量怎么声明，以及约束怎么写。今天咱们就把这两件事彻底讲透。

2.1 rand与randc：两种随机模式

SystemVerilog给了我们两个关键字来声明随机变量：rand 和 randc。它们有什么区别？我直接说结论：

• rand：每次随机化时，变量在合法范围内独立取值。说白了，每次都是"重新抽签"，跟之前的结果没关系。
• randc：循环随机。它会遍历所有可能的值，全部取完一遍后，再重新开始下一轮。有点像发扑克牌，每张牌发一次，52张发完再洗牌重来。

我在一个PCIe项目中就吃过randc的亏。当时想随机化一个地址偏移量，用了randc，结果仿真跑了半天，某些地址组合始终没出现——因为randc的循环周期太长了。嗯，从那以后我对randc的使用就格外小心。

2.2 随机变量的声明

声明随机变量很简单，就是在变量类型前面加上rand或randc。来看个例子：

class Packet;
  rand bit [7:0]  addr;      // 8位地址，每次随机取值
  randc bit [3:0] seq_num;   // 4位序列号，循环随机
  rand  logic [31:0] data;   // 32位数据
endclass

你可能会问：所有类型都能随机化吗？我告诉你，integer、bit、logic、enum、甚至string都可以。但real类型不行——至少我没见过谁去随机化浮点数的，那玩意儿随机出来也没啥意义。

2.3 约束块：给随机化戴上"镣铐"

光声明随机变量还不够。你想想看，如果地址范围是0x00到0xFF，但你的设计只支持0x10到0x20，那随机出来的大部分值都是非法的。怎么办？用constraint约束块。

约束块的基本语法长这样：

class Packet;
  rand bit [7:0] addr;
  rand bit [7:0] len;

  constraint addr_range {
    addr inside {[8'h10 : 8'h20]};
  }

  constraint len_limit {
    len > 0;
    len <= 64;
  }
endclass

这里我定义了两个约束：addr只能在0x10到0x20之间，len必须大于0且不超过64。你看，约束块的名字可以随便起，但最好有意义——我见过有人起名叫c1、c2的，三个月后自己都看不懂。

2.4 约束的几种常用写法

约束的写法其实挺灵活的。我总结了几种最常用的：

约束类型	示例	说明
范围约束	addr inside {[10:20]};	变量取值在指定范围内
排除约束	addr inside {[10:20]} && addr != 15;	在范围内排除某个值
关系约束	len < addr;	两个变量之间的大小关系
条件约束	if (mode == 0) len inside {[1:16]};	根据条件选择不同约束
权重约束	dist {0 := 10, 1 := 90};	控制取值概率分布

我个人最常用的是inside和dist。尤其是dist，它能让你精细控制随机分布——比如让"正常情况"占90%，"边界情况"占10%。这在覆盖率收敛时特别好用。

2.5 随机化调用：randomize()

声明好了变量，写好了约束，怎么触发随机化？用randomize()函数。它返回一个bit值：1表示成功，0表示失败。

Packet pkt = new();
if (pkt.randomize()) begin
  $display("addr = %0h, len = %0d", pkt.addr, pkt.len);
end else begin
  $error("随机化失败！");
end

我建议你每次调用randomize()后都检查返回值。别嫌麻烦——我在一个项目中就是因为没检查返回值，导致随机化失败后用了未初始化的变量，仿真结果全乱套了。查了整整两天才找到原因。

2.6 知识体系总览

说了这么多，咱们用一张图把本章的核心逻辑串起来：

这张图把咱们今天讲的内容串起来了。你看，左边是变量声明（rand和randc），右边是约束块（范围、关系、条件等），两者通过randomize()和约束求解器结合，最终生成合法的随机激励。

2.7 避坑指南

最后，我把自己这些年踩过的坑总结一下：

• 别忘了检查randomize()返回值——失败时变量保持原值，容易导致误判。
• 约束别写死——比如addr == 10这种，那还随机啥？直接赋值得了。
• randc慎用——循环周期可能很长，尤其当变量位宽大时。
• 约束冲突是噩梦——写约束前先在心里过一遍逻辑，别让两个约束互相矛盾。

好了，这一章的内容就到这儿。随机化是验证的基石，把rand、randc和约束块搞明白，后面的覆盖率收敛才能玩得转。记住：随机不是乱来，约束才是灵魂。

可可精品资料库