随机变量与 rand/randc：让验证活起来
各位同学，今天我们来聊聊 SystemVerilog 里最核心的概念之一——随机变量。说实话，我刚入行那会儿，对随机验证的理解就是「给信号随便赋个值」。后来踩了不少坑，才明白这里面的门道有多深。
你想想看，我们做验证的目的是什么？说白了，就是用尽可能少的测试用例，覆盖尽可能多的功能点。如果每个信号都手动赋值，那得写到猴年马月去？这时候，随机变量就派上用场了。
rand 关键字：最基本的随机
先看个最简单的例子：
class Packet;
rand bit [7:0] length;
rand bit [31:0] address;
rand bit [63:0] data;
endclass这里 rand 告诉编译器：这个变量在调用 randomize() 时，会被赋予一个随机值。每次随机化，它都会从合法范围内均匀选取一个值。
我个人习惯把 rand 用在那些「只要在范围内，什么值都行」的场景。比如数据包的长度、地址偏移量这些。我在项目中遇到过一个问题：某个模块的地址总线宽度是 32 位，但实际只用了低 12 位。如果我不加约束，高 20 位也会随机变化，结果仿真时老是触发一些诡异的 X 态传播。嗯，这里要注意：rand 只管随机，不管约束，约束得靠 constraint 来加。
核心要点：rand 变量每次 randomize() 都会重新生成一个值，且每个值的概率均等（在无约束时）。
randc 关键字：循环随机，不重复
再来看看 randc。它和 rand 最大的区别是：randc 会保证在遍历完所有可能值之前，不会重复输出同一个值。
class Command;
randc bit [2:0] opcode; // 取值范围 0~7
endclass什么意思呢？第一次 randomize() 可能得到 3，第二次得到 7，第三次得到 0……直到 8 个值全部出现一遍后，才会重新开始下一轮循环。这就像一副扑克牌，你一张张抽，抽完一轮再洗牌。
我曾经在验证一个指令译码器时用过 randc。那个译码器有 16 条指令，每条指令的测试覆盖率要求 100%。如果用 rand，可能跑了 1000 个用例，还有几条指令没被覆盖到。换成 randc 后，每 16 个用例就能保证所有指令至少出现一次。效率提升非常明显。
小技巧：当你需要「穷举测试」某个小范围变量时，优先考虑 randc。比如状态机的状态、操作码、寄存器索引等。
rand 与 randc 的区别与选择
很多初学者会问：到底什么时候用 rand，什么时候用 randc？我给大家画个图，一看就明白。
这张图很直观吧？左边是 rand，每次随机都是独立事件，就像扔骰子——这次扔出 6，下次还可能扔出 6。右边是 randc，它像抽牌——抽过的牌不会立即再出现。
那具体怎么选呢？我给大家列个表：
| 场景 | 推荐关键字 | 原因 |
|---|---|---|
| 数据包长度（0~65535） | rand | 范围太大，randc 一轮遍历不现实 |
| 状态机状态（0~7） | randc | 需要快速覆盖所有状态 |
| 寄存器地址偏移 | rand | 通常需要均匀分布，允许重复 |
| 操作码（0~15） | randc | 保证每条指令都被测试到 |
| 随机延时（1~1000） | rand | 延时重复是正常现象 |
避坑指南：我曾经在一个项目里，把 64 位的地址变量声明成了 randc。结果仿真跑了半天，一轮遍历都没完成——因为 2^64 个值，遍历一轮需要宇宙毁灭那么久。所以记住：randc 只适合小范围变量，一般建议范围不超过 2^10。
实际项目中的选择策略
说了这么多理论，来点实战经验。我在做验证时，一般遵循这么几条原则：
- 先看范围大小：范围小于 32 的，优先考虑 randc。大于 32 的，用 rand 加约束。
- 看覆盖率要求：如果某个变量要求 100% 覆盖所有合法值，用 randc 最省心。否则用 rand 配合覆盖率收集。
- 看变量语义：像状态、模式选择这种「离散值」，适合 randc。像数据、地址这种「连续值」，适合 rand。
- 别忘了约束：不管是 rand 还是 randc，都要配合 constraint 使用。没有约束的随机，就像没有缰绳的野马。
我记得有一次，一个同事把某个控制寄存器的 3 位字段声明为 rand，结果跑了 500 个用例，还有两个值没出现。我建议他改成 randc，结果 8 个用例就全覆盖了。你看，选对关键字，效率能差几十倍。
总结一下：rand 和 randc 没有的好坏，关键看场景。rand 适合「大范围、允许重复」的场景，randc 适合「小范围、需要全覆盖」的场景。选对了，你的验证效率能翻倍；选错了，要么跑得慢，要么覆盖率上不去。
好了，关于随机变量的基础就聊到这里。记住我这句话：随机不是乱来，而是有策略地生成激励。下一节我们会深入约束的写法，到时候再跟大家分享更多实战技巧。