3、权重分布约束：dist操作符、:=与:/的区别、权重分布实战

好，咱们今天聊点实在的——权重分布约束。

说白了，就是让随机数“有偏向”。

你想想看，验证一个FIFO，你希望写操作和读操作完全随机出现吗？那可能测了半天，FIFO永远半满，深水区的满状态、空状态根本碰不到。这时候，你就得用dist来“拉偏架”。

3.1 dist操作符：给随机值“定调子”

dist是SystemVerilog里专门用来做权重分布的关键字。它的语法长这样：

constraint c_weight {
    addr dist {
        0       := 10,
        [1:10]  := 90,
        [11:15] :/ 50
    };
}

这里addr是一个随机变量。dist后面的大括号里，左边是取值范围，右边是权重值。

权重值越大，这个值被选中的概率就越高。但注意，权重不是百分比，是相对比例。比如上面这个例子，0的权重是10，[1:10]的权重是90，那0被选中的概率就是10/(10+90+50) ≈ 6.7%。

嗯，这里有个坑——权重总和不是100也没关系，工具会自动归一化。我刚开始学的时候老想着凑100，后来发现完全没必要。

3.2 := 与 :/ 的区别：一个“均分”，一个“打包”

这是dist里最容易搞混的地方。我当年在这上面栽过跟头，所以特意拿出来讲。

:= 是“均分”。意思是每个值单独分配权重。

比如：

[1:10] := 90

表示1到10这10个值，每个值权重都是90。总权重是10×90=900。

:/ 是“打包”。意思是整个范围共享一个权重。

比如：

[1:10] :/ 90

表示1到10这10个值，总共权重是90。每个值平均分到9的权重。

你看，区别就在这里。:=是每个值都拿90，:/是整个范围拿90然后内部均分。

我举个例子你就明白了：

写法 含义 每个值权重 总权重
[1:3] := 60 每个值权重60 60, 60, 60 180
[1:3] :/ 60 范围总权重60 20, 20, 20 60

我曾经在项目里写错过一次。当时想给地址0x00到0xFF每个地址均匀分布，结果用了:/，导致每个地址的概率被均分成了1/256，看起来没问题对吧？但后来发现我想让某些地址概率更高，结果因为用了:/，整个范围被“打包”了，内部根本拉不开差距。那次debug花了我半天时间。

避坑指南：如果你想让某个范围内的每个值概率相同，用:=。如果你只想控制整个范围的总概率，内部再均匀分布，用:/。两者混用时，一定要算清楚总权重。

3.3 权重分布实战：一个总线地址生成器

好，理论说完了，咱们来点实战。

假设你在验证一个AHB总线。地址空间分布如下：

  • 寄存器区：0x0000_0000 - 0x0000_0FFF，需要重点测试
  • SRAM区：0x2000_0000 - 0x2000_FFFF，常规测试
  • 外设区：0x4000_0000 - 0x4000_00FF，偶尔访问
  • 保留区：其他地址，几乎不访问

你希望随机地址有偏向，但又不能完全排除某些区域。这时候dist就派上用场了：

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

    constraint c_addr_dist {
        addr dist {
            [32'h0000_0000 : 32'h0000_0FFF] := 100,  // 寄存器区，重点测
            [32'h2000_0000 : 32'h2000_FFFF] := 50,   // SRAM区，常规
            [32'h4000_0000 : 32'h4000_00FF] := 20,   // 外设区，偶尔
            [32'h0000_1000 : 32'h1FFF_FFFF] :/ 5,    // 保留区1，几乎不
            [32'h2001_0000 : 32'h3FFF_FFFF] :/ 5,    // 保留区2，几乎不
            [32'h4000_0100 : 32'hFFFF_FFFF] :/ 5     // 保留区3，几乎不
        };
    }

    function void post_randomize();
        $display("Generated addr: 0x%08h", addr);
    endfunction
endclass

你看，寄存器区权重100，SRAM区50，外设区20，保留区总共才5。这样跑1000次随机，寄存器区大概能占到80%以上，保留区可能只有1%左右。

但注意，保留区虽然概率低，但不是0。这就是dist的好处——你永远不会完全排除某个值，只是让它“几乎不出现”。这在验证里很重要，因为边界情况往往藏在那些“几乎不出现”的地方。

个人习惯：我一般会在dist里留一个权重为1的“兜底”范围，覆盖所有未明确列出的地址。这样即使以后地址空间变了，约束也不会报错。比如：
default :/ 1

3.4 权重分布的陷阱与调试

权重分布看着简单，但实际用起来有几个坑：

  1. 权重值不要太大。我见过有人写权重10000，结果仿真器直接爆了。权重值一般控制在1-1000之间就够了。
  2. 注意范围重叠。dist里不能有重叠的范围，否则仿真器会报错。比如[0:10]和[5:15]不能同时出现。
  3. 权重分布不是精确的。dist只是概率上的偏向，不是精确的比例。如果你需要精确的“每10次随机中，有8次是A”，那dist做不到，你得用其他方法。

我曾经在一个项目里，因为dist权重写得太极端（一个范围权重1000，另一个范围权重1），导致仿真器在随机时几乎永远选不到那个低权重的范围。后来我改成100:1，效果就好多了。嗯，权重差距控制在100倍以内比较稳妥。

3.5 知识体系总览

下面这张图帮你理清本章的核心逻辑：

权重分布约束知识体系 dist 操作符 := 均分每个值 :/ 打包范围 每个值独立权重 适合精确控制单个值概率 范围共享权重 适合控制大范围总概率 实战：总线地址生成器 + 权重调试技巧

这张图把dist、:=、:/以及实战应用串起来了。你从上往下看，先理解dist是干什么的，再区分两种分配方式，最后落到实战里怎么用。

核心总结：
  • dist用于给随机值设置概率偏向
  • := 每个值独立分配权重，适合精确控制
  • :/ 范围打包分配权重，适合控制大范围总概率
  • 权重值控制在1-1000之间，差距不要超过100倍
  • 记得留一个兜底范围，避免约束报错

好了，权重分布这块就聊到这儿。你回去可以自己写个class跑一跑，看看随机出来的地址分布是不是符合预期。嗯，动手试一下，比看十遍文章都管用。

可可精品资料库

← 上一章 📖 返回目录 下一章 →