3. 约束块语法详解：约束表达式、权重分布、条件约束、foreach约束

各位同学，今天我们来聊聊约束块。说实话，约束是随机验证的灵魂。没有约束的随机，那就是瞎蒙。我在项目里见过太多人，约束写得乱七八糟，仿真跑出来全是无效用例，白白浪费机器时间。

约束块说白了，就是告诉仿真器：「嘿，变量你得按我的规矩来随机」。规矩怎么写？咱们一条条拆开看。

3.1 约束表达式：最基础的随机规则

约束表达式，就是那些写在 constraint 块里的条件语句。比如：

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

    constraint c_len {
        len > 10;
        len < 100;
    }
endclass

这里 len > 10 和 len < 100 就是约束表达式。它们告诉仿真器：len 的取值范围是 11 到 99。

我个人习惯把约束表达式写得尽量简单。一个表达式只做一件事，别搞复杂了。你想想看，如果写成 len > 10 && len < 100 && len != 50，虽然也能跑，但可读性差，后期维护也麻烦。

3.2 权重分布：让随机更有倾向性

有时候，我们希望某些值出现的概率更高。比如测试地址对齐的场景，对齐地址应该占 70%，非对齐占 30%。这时候就要用权重分布。

SystemVerilog 提供了两种权重分布方式：dist 和 := / :/。

class AddressGen;
    rand bit [31:0] addr;

    constraint c_addr_dist {
        addr dist {
            0            := 1,    // 精确值，权重1
            [1:100]      := 5,    // 范围值，每个元素权重5
            [101:1000]   :/ 10    // 范围值，总权重10
        };
    }
endclass

这里有个坑，我踩过。 := 和 :/ 的区别，很多人搞混。

• := 表示「每个元素分配权重」。比如 [1:100] := 5，意味着 1 到 100 每个数权重都是 5，总共 500。
• :/ 表示「整个范围分配权重」。比如 [101:1000] :/ 10，意味着整个范围总权重是 10，每个元素均分。

我曾经在项目里用错了，导致地址分布完全不符合预期。排查了半天才发现是 := 和 :/ 搞反了。嗯，这里要注意，权重分布不是概率，是相对权重。仿真器会根据所有权重的总和来计算概率。

3.3 条件约束：if-else 和 implication

条件约束，就是根据某些条件来决定是否启用某些约束。常用的有两种：if-else 和 ->（implication）。

class Transaction;
    rand bit       valid;
    rand bit [7:0] data;
    rand bit [3:0] len;

    // 方式一：if-else
    constraint c_if_else {
        if (valid) {
            data > 0;
            len inside {[1:15]};
        } else {
            data == 0;
            len == 0;
        }
    }

    // 方式二：implication
    constraint c_impl {
        valid -> data > 0;
        valid -> len inside {[1:15]};
    }
endclass

我个人更推荐用 if-else，因为可读性更好。但 implication 在某些场景下更简洁。比如你想表达「如果 A 成立，那么 B 必须满足」，用 A -> B 一行搞定。

3.4 foreach 约束：搞定动态数组

动态数组的约束，是很多人的噩梦。其实用 foreach 就能轻松搞定。

class PacketArray;
    rand bit [7:0] data[];

    constraint c_foreach {
        data.size() == 10;           // 固定数组大小
        foreach (data[i]) {
            data[i] > i;             // 每个元素大于其索引
            if (i > 0)
                data[i] > data[i-1]; // 单调递增
        }
    }
endclass

foreach 的语法很简单：foreach (数组名[索引变量])。索引变量可以是任意名字，不一定是 i、j。我习惯用 i、j、k，简单明了。

多维数组怎么办？嵌套 foreach 呗：

class Matrix;
    rand bit [7:0] mat[][];

    constraint c_matrix {
        mat.size() == 4;
        foreach (mat[i]) {
            mat[i].size() == 4;
            foreach (mat[i][j]) {
                mat[i][j] < 100;
            }
        }
    }
endclass

这里要注意，foreach 里的索引变量作用域只在当前循环内。不同层级的 foreach 可以用相同的变量名，但容易混淆。我建议每层用不同的名字，比如 i、j、k。

3.5 知识体系总览

说了这么多，咱们用一张图来总结一下约束块的核心内容：

这张图把约束块的四个核心内容串起来了。约束表达式是基础，权重分布控制概率，条件约束实现分支逻辑，foreach 搞定数组。掌握了这四块，大部分随机场景你都能应付。

最后说一句，约束写得好不好，直接决定了验证效率。我见过有人一个约束块写几百行，结果仿真器求解半天出不来。我的建议是：约束尽量拆分，每个约束块只做一件事。这样既好调试，又好维护。