2. SystemVerilog随机化机制：rand与randc关键字、随机化函数randomize()、约束块的概念

好，咱们进入正题。随机化验证，说白了就是让芯片自己“出题”给自己做。你想想看，如果每次测试用例都是你手写的，那得写到猴年马月去？而且你写的那些场景，大概率都是“正常情况”，那些刁钻古怪的边界条件，你根本想不到。

SystemVerilog给了我们一套非常强大的随机化机制。我个人觉得，这是SV对验证工程师最大的贡献之一。今天咱们就把这套机制的核心——rand、randc、randomize()和约束块——彻底讲透。

2.1 rand与randc：随机变量的“身份证”

先问个问题：你怎么告诉编译器“这个变量我要随机化”？答案就是加关键字。就像给人办身份证一样，rand和randc就是随机变量的“身份标识”。

2.1.1 rand：每次独立随机

rand是最常用的。它表示每次调用randomize()时，这个变量都会从它的取值范围内独立地随机选一个值。每次之间没有关联，纯靠概率。

举个例子：

class Packet;
    rand bit [7:0] length;   // 长度，0-255
    rand bit [3:0] priority; // 优先级，0-15
endclass

Packet p = new();
repeat(5) begin
    assert(p.randomize());
    $display("length=%0d, priority=%0d", p.length, p.priority);
end

运行结果可能是：

length=134, priority=7
length=200, priority=3
length=134, priority=7  // 注意！重复了，这是允许的
length=55,  priority=12
length=134, priority=7  // 又重复了

看到了吗？rand不保证不重复。我在项目中遇到过一个问题：用rand生成地址偏移量，结果连续好几次生成同一个值，导致DUT的FIFO一直写同一个地址，覆盖了之前的数据。嗯，这就是rand的“随机”特性——它不保证均匀分布，更不保证不重复。

2.1.2 randc：循环随机，保证全覆盖

randc就不同了。它是“循环随机”（cyclic random）的缩写。它会保证在遍历完所有可能的值之前，不会重复。说白了，就是“洗牌发牌”——一副牌发完之前，你不会拿到两张一样的。

看代码：

class Packet;
    randc bit [2:0] id; // 0-7，共8个值
endclass

Packet p = new();
repeat(10) begin
    assert(p.randomize());
    $display("id=%0d", p.id);
end

输出示例：

id=3
id=7
id=0
id=5
id=2
id=1
id=4
id=6  // 前8次，0-7各出现一次，顺序随机
id=2  // 第9次，开始新一轮循环
id=0

注意：randc的循环周期是2^N（N是变量位宽）。如果位宽太大，比如32位，那循环周期是40多亿，基本等于没限制。所以randc一般用在位宽较小的变量上。

关键字	特性	适用场景	注意事项
rand	每次独立随机，可重复	大多数通用场景	可能出现连续重复值
randc	循环随机，周期内不重复	小范围穷举、ID分配	位宽不宜过大

2.2 randomize()：随机化的“启动按钮”

光声明了rand变量还不够，你得告诉仿真器“现在开始随机”。randomize()就是这个启动按钮。它是一个内建函数，返回1表示成功，返回0表示失败（比如约束冲突，找不到解）。

基本用法：

class MyData;
    rand int addr;
    rand byte data;
    
    function void randomize_all();
        if(!randomize()) begin
            $fatal("Randomization failed!");
        end
    endfunction
endclass

还有两个变体用法，我个人觉得非常实用：

1. 只随机部分变量： randomize(addr) 只随机addr，data保持不变。
2. 内联约束： randomize() with { addr inside {[0:100]}; } 临时加约束。

举个例子：

class Packet;
    rand int len;
    rand int id;
endclass

Packet p = new();
// 只随机len，id保持原值
p.randomize(len);
// 临时加约束，只随机id在0-15之间
p.randomize(id) with { id < 16; };

2.3 约束块：给随机化“划范围”

纯粹的随机没有意义。你需要告诉工具：“随机可以，但得在我的规矩里随机”。约束块（constraint block）就是用来干这个的。

约束块用constraint关键字声明，里面写各种约束表达式。说白了，就是给随机变量划定一个“活动范围”。

2.3.1 基本约束语法

class Packet;
    rand int length;
    rand byte payload;
    
    // 约束块
    constraint c_length {
        length > 0;
        length < 256;
    }
    
    constraint c_payload {
        payload inside {[0:127]};  // 0到127之间
        payload != 8'hFF;          // 但不能是0xFF
    }
endclass

这里有几个关键点：

• 约束块名可以任意取，但建议有意义，比如c_addr_range、c_data_valid。
• 多个约束块之间是“与”的关系，必须同时满足。
• 约束表达式支持：>、<、==、!=、inside、dist等。

2.3.2 约束的“软硬”之分

约束分两种：硬约束和软约束。硬约束是必须满足的，软约束是“尽量满足，但实在不行可以放弃”。

语法上，软约束用soft关键字：

class Packet;
    rand int len;
    
    constraint c_hard {
        len > 0;       // 硬约束，必须满足
    }
    
    constraint c_soft {
        soft len < 100; // 软约束，尽量满足
    }
endclass

为什么要有软约束？我在项目中遇到过这种情况：写了一个通用的约束块，默认把长度限制在100以内。但某个测试用例需要长度到200。如果用硬约束，就得改代码。用软约束，直接在测试用例里用randomize() with { len < 200; }覆盖掉就行了。软约束会被后面的约束覆盖，非常灵活。

2.3.3 约束的常见模式

我总结了几种常用的约束模式，你写代码时可以直接套用：

模式	代码示例	说明
范围约束	addr inside {[0:255]};	限制在连续范围内
集合约束	opcode inside {ADD, SUB, MUL};	限制在离散值集合中
关系约束	end_addr > start_addr;	变量之间的相对关系
条件约束	if (mode == READ) addr inside {[0:127]};	根据条件动态调整
分布约束	len dist {0:=10, [1:100]:/90};	控制概率分布

2.3.4 约束求解的“潜规则”

这里有个重要的点，我当年也是吃了亏才明白的：约束求解器不是万能的。它本质上是解一组方程，如果约束之间互相矛盾，或者约束太紧导致无解，randomize()就会返回0。

另外，约束求解器有“偏好”。它倾向于生成“简单”的解。比如rand bit [3:0] a;不加任何约束，它生成0的概率比生成15的概率略高。虽然理论上应该均匀分布，但实际实现有偏差。如果你需要严格的均匀分布，可以用dist约束手动调整。

2.4 知识体系总览

说了这么多，咱们用一张图把整个随机化机制串起来。这张图是我自己画的，每次给新人培训时都会用。

这张图把整个随机化机制分成了三层：顶层是入口randomize()，中间是三大核心要素，底层是实践要点。你写代码时，脑子里要有这张图：先声明变量（加rand/randc），再写约束块，最后调用randomize()启动。三步走，缺一不可。

2.5 一个完整的例子

最后，咱们看一个完整的例子，把今天讲的东西串起来：

class EthernetFrame;
    // 随机变量声明
    rand bit [47:0] dst_mac;
    rand bit [47:0] src_mac;
    rand bit [15:0] ether_type;
    rand byte       payload[];
    rand bit [31:0] crc;
    
    // 约束块
    constraint c_mac_valid {
        dst_mac != src_mac;                    // 源目MAC不能相同
        dst_mac inside {[16'h0001:16'hFFFF]};  // 排除广播地址全0
    }
    
    constraint c_ether_type {
        ether_type inside {[16'h0800:16'h0806], 16'h8100}; // 常见类型
    }
    
    constraint c_payload_size {
        payload.size() inside {[46:1500]};     // 以太网帧数据长度范围
    }
    
    constraint c_crc {
        soft crc == 32'h0000_0000;             // 默认CRC为0，可被覆盖
    }
    
    // 随机化函数
    function void randomize_frame();
        if(!randomize()) begin
            $error("Frame randomization failed!");
            $finish;
        end
    endfunction
endclass

这个例子涵盖了今天讲的所有知识点：rand声明变量、constraint写约束、randomize()启动随机化。你写验证环境时，就按这个模板来，准没错。