随机化基础：SystemVerilog中的rand与randc、约束块的基本语法、随机化开关控制

各位同学，今天我们来聊聊验证中一个绕不开的话题——随机化。说实话，我刚入行那会儿，对随机化的理解就是“给变量赋个随机值”。后来踩了不少坑才明白，随机化远不止这么简单。它是我们验证工程师手里最锋利的武器，用好了能事半功倍，用不好……嗯，你可能要加班到深夜去追bug。

一、rand与randc：两种随机化模式

SystemVerilog给我们提供了两种随机化关键字：rand和randc。它们有什么区别？我建议你先记住一句话：rand是“每次独立随机”，randc是“遍历式随机”。

1. rand：标准随机变量

rand是最常用的。每次调用randomize()，它都会在取值范围内独立地产生一个随机值。说白了，这次随机和上次随机没有任何关系。

class Packet;
    rand bit [7:0] length;   // 每次随机，独立取值
    rand bit [3:0] kind;     // 同样独立
endclass

我在项目中遇到过一个问题：用rand生成地址时，连续几次都命中了同一个地址范围。虽然概率上没问题，但仿真覆盖率就是死活上不去。后来我才意识到，有些场景需要“均匀遍历”，这时候就该randc出场了。

2. randc：循环随机变量

randc的全称是“random cyclic”。它会保证在取值范围内，每个值都被取到一次之后，才会开始下一轮循环。你想想看，这就像一副扑克牌，你一张张抽，抽完一轮再洗牌。

class AddressGen;
    randc bit [2:0] addr;  // 0~7，每8次循环一次
endclass

二、约束块的基本语法

光有随机变量还不够，我们得告诉工具“随机成什么样”。约束块（constraint block）就是干这个的。我个人习惯把约束块看作是“给随机化加规则”。

1. 约束块的声明

class MyData;
    rand bit [7:0] value;
    
    // 约束块：value必须在10到100之间
    constraint c_value {
        value inside {[10:100]};
    }
endclass

约束块的名字（比如上面的c_value）可以随便起，但我建议你起个有意义的名字。我在团队里定了个规矩：约束块名以c_开头，后面跟变量名或功能描述。这样一看代码就知道是约束，不用猜。

2. 常用约束操作符

操作符	含义	示例
inside	取值范围	addr inside {[0:15], 32, 64}
dist	分布权重	len dist {8:=50, 16:=30, 32:=20}
->	条件约束（蕴含）	mode == 1 -> len < 64
if-else	条件分支	if (kind == 0) len < 32;

3. 约束块的继承与覆盖

面向对象中，子类可以继承父类的约束。但有时候我们需要“改一改”父类的约束。SystemVerilog提供了constraint_mode()来控制约束的开关。

class Base;
    rand int data;
    constraint c_data { data > 0; }
endclass

class Ext extends Base;
    constraint c_data { data < 100; }  // 覆盖父类约束
endclass

这里要注意：子类和父类约束同名时，子类会完全覆盖父类。如果你只想“增加”而不是“覆盖”，建议用不同的约束名。

三、随机化开关控制

随机化不是每次都一定要开的。有时候我们需要固定某些值，有时候需要临时关闭某些约束。SystemVerilog给了我们几个控制开关。

1. randomize() 的调用

最基本的用法：

Packet p = new();
if (p.randomize()) begin
    // 随机化成功
end else begin
    // 随机化失败
end

为什么会有失败？我遇到过一种情况：约束太紧，导致没有合法解。比如你要求a > b且b > a，这显然不可能。所以，一定要检查randomize()的返回值。

2. rand_mode()：控制随机变量

有时候我们想临时把一个随机变量变成固定值。用rand_mode(0)可以关闭它的随机属性。

class Packet;
    rand int addr;
    rand int data;
endclass

Packet p = new();
p.addr.rand_mode(0);  // addr不再随机
p.addr = 32'h1000;    // 固定值
p.randomize();         // 只随机data

3. constraint_mode()：控制约束块

约束块也可以单独开关。这在复用验证组件时特别有用。

class Packet;
    rand int len;
    constraint c_small { len inside {[1:32]}; }
    constraint c_large { len inside {[64:128]}; }
endclass

Packet p = new();
p.c_large.constraint_mode(0);  // 关闭大包约束
p.randomize();                  // 只生成小包

我建议你把约束块设计成“模块化”的。每个约束只做一件事，然后用constraint_mode()灵活组合。这样你的验证环境会非常灵活。

四、知识体系总览

下面这张图总结了本章的核心内容，你可以把它当作一个快速参考。

这张图把本章的三个核心模块串在了一起。你从左往右看：先决定用rand还是randc，然后用约束块定义规则，最后用开关控制随机化的时机。三者配合，就能灵活地生成你想要的测试激励。

好了，关于随机化基础就聊到这里。记住：随机化不是“乱随机”，而是“有策略地随机”。你每次写约束时，都要问自己一句：这个约束能帮我发现什么bug？想清楚了再动手。