2. SystemVerilog随机化基础：随机变量与约束

各位同学，今天我们来聊聊SystemVerilog随机化。说实话，这是验证工程师吃饭的家伙之一。我做了十几年芯片验证，可以说没有随机化，就没有现代验证方法学。

你想想看，一个复杂的SoC芯片，动辄几亿个晶体管。靠手写测试向量去覆盖所有场景？那得写到猴年马月去。随机化就是让工具帮我们自动生成各种合法输入，说白了就是「让计算机自己考自己」。

2.1 随机变量：rand与randc

先看最基础的东西。在SystemVerilog里，我们通过两个关键字来声明随机变量：rand和randc。

关键字	含义	典型场景
rand	每次随机化时，变量在约束范围内独立随机取值	地址、数据、配置参数等
randc	周期随机，遍历完所有可能值后才重复	仲裁优先级、状态机状态等

rand很好理解，就是每次调用randomize()时，变量在约束范围内随便挑一个值。但randc有点意思——它保证在重复之前，先把所有可能值都走一遍。

看个例子：

class Packet;
    rand  bit [7:0] addr;   // 随机地址，0~255
    randc bit [2:0] prio;   // 周期随机优先级，0~7

    constraint c_addr {
        addr inside {[0:100], [200:255]};  // 跳过101~199
    }
endclass

这里prio是randc，意味着前8次随机化，它会依次输出0,1,2,3,4,5,6,7（顺序不定），第9次才开始重复。嗯，这里要注意：randc的周期是针对每个对象实例的，不是全局的。

2.2 简单约束块

约束块是随机化的灵魂。没有约束的随机就是瞎蒙，有了约束的随机才是智能验证。

约束块用constraint关键字定义，里面可以写各种约束表达式。我常用的几种：

• 范围约束：addr inside {[0:100], [200:255]};
• 关系约束：len > 10; len < 100;
• 条件约束：if (mode == READ) addr inside {[0:127]};
• 权重分布：len dist {0:=10, [1:10]:/90};

举个例子，一个更完整的包类：

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

    constraint c_addr_len {
        addr inside {[0:200]};
        len inside {[1:64]};
        // 地址越大，长度越小（模拟实际总线行为）
        if (addr > 100) len < 32;
    }

    constraint c_write {
        wr_en dist {0:=30, 1:=70};  // 70%写操作，30%读操作
    }
endclass

你可能会问：为什么要有dist这种权重约束？我在项目中遇到过这样一个场景：某个DMA模块，写操作比读操作更容易触发bug。于是我把写操作的权重调高到80%，果然很快就复现了问题。这就是约束的妙用——你可以引导随机方向，让验证更有针对性。

2.3 randomize()函数

声明了随机变量和约束，怎么用？靠randomize()函数。

randomize()是SystemVerilog内置的虚函数，所有类都继承它。调用时，它会：

1. 检查所有rand/randc变量
2. 求解所有约束（包括继承来的）
3. 如果求解成功，返回1，变量被赋值
4. 如果求解失败（约束冲突），返回0，变量保持不变

看调用方式：

Packet pkt = new();
if (pkt.randomize()) begin
    $display("addr=%0d, len=%0d, wr_en=%0d", pkt.addr, pkt.len, pkt.wr_en);
end else begin
    $error("随机化失败！检查约束是否冲突。");
end

randomize()还支持内联约束——临时加一些约束，不影响类定义：

// 临时要求地址必须是偶数
if (!pkt.randomize() with { addr % 2 == 0; }) begin
    $error("随机化失败");
end

这个特性非常实用。比如你有一个通用的包类，但某个测试用例需要地址对齐到4字节。你不需要修改类定义，直接在调用时加个with约束就行。

2.4 知识体系总览

为了让你更直观地理解本章的知识结构，我画了一张图：

这张图把本章的三个核心知识点串起来了。你想想看，随机变量是「原料」，约束块是「配方」，randomize()就是「厨师」。三者配合，才能炒出一盘好菜。

最后说一句：随机化不是万能的，但没有随机化是万万不能的。我见过太多团队手写测试向量，覆盖率死活上不去。学会用好rand、randc和约束，你的验证效率会有质的飞跃。