2. SystemVerilog随机化机制：rand与randc关键字、随机变量声明、随机化函数randomize()

好，咱们直接进入正题。随机化是SystemVerilog验证的灵魂，而rand和randc就是灵魂的开关。我刚开始学SV那会儿，总觉得这俩关键字差不多，直到在项目里踩了坑才明白——它们完全是两码事。

2.1 rand与randc：两种随机模式

rand 是标准随机，每次调用randomize()都会独立产生一个随机值。说白了，就是每次抽奖，中奖概率都一样。

randc 是周期随机，它会遍历所有可能的值后才重复。你想想看，就像一副扑克牌，发完一轮才重新洗牌。

我在项目中遇到过这样一个场景：验证一个FIFO的满标志，需要随机写入地址。如果用rand，可能连续10次都写同一个地址，满标志永远不触发。换成randc，地址自动轮询一遍，覆盖效率直接翻倍。

2.2 随机变量声明

声明随机变量很简单，在变量类型前面加个rand或randc就行。但这里有几个细节，我建议你记牢。

class Packet;
  rand  bit [7:0]  addr;    // 8位随机地址
  randc bit [3:0]  id;      // 4位周期随机ID
  rand  int        data;    // 32位随机数据
  rand  logic [31:0] crc;   // 注意：logic类型也可以随机
  
  // 非随机变量
  bit [7:0] status;
endclass

嗯，这里要注意：不是所有类型都能随机。string、event、real这些类型就不支持。我刚开始就犯过这个错，把string声明成rand，编译直接报错。

2.3 randomize()函数

randomize()是SV内置的随机化函数，调用它就会给所有rand/randc变量赋值。但它的用法远不止这么简单。

基本调用

Packet p = new();
if (p.randomize()) begin
  // 随机成功，使用p.addr, p.data等
end else begin
  // 随机失败，处理错误
end

randomize()返回1表示成功，0表示失败。我建议你永远检查返回值。为什么？因为约束冲突时它会返回0，你不检查的话，变量可能保持上次的值，导致验证结果完全错误。

带约束的随机化

// 内联约束：临时加条件
if (p.randomize() with { addr inside {[0:15]}; }) begin
  // addr只在0-15范围内随机
end

// 多个变量同时约束
if (p.randomize() with { 
  addr > 10;
  data < 1000;
  id != 5;
}) begin
  // 三个条件同时满足
end

内联约束是我个人最常用的技巧。有时候类里定义的约束太死板，测试用例需要临时调整，用with关键字直接加条件，比改类定义方便多了。

局部随机化

// 只随机部分变量
p.randomize(addr);           // 只随机addr
p.randomize(addr, data);     // 只随机addr和data

这个功能你可能用得不多，但关键时刻能救命。我记得有一次调试，发现data的随机值总是导致某个bug复现不了，我就用局部随机化固定data，只随机addr，问题一下子就定位到了。

2.4 随机化流程控制

randomize()的执行流程其实挺讲究的，我画了张图帮你理解。

这张图展示了randomize()的完整流程。注意看，如果求解失败，变量会保持调用前的值，而不是变成x或z。这个特性有时候会坑人——你以为是随机成功了，其实变量根本没变。

2.5 实战经验总结

场景	推荐用法	原因
地址随机	rand	地址不需要遍历，独立随机即可
ID分配	randc	保证每个ID都被分配到，覆盖更全
数据负载	rand	数据量大，遍历不现实
状态机跳转	randc	确保每个状态都被访问到

最后说一句，randomize()的求解器是SV引擎的核心，它用的是约束求解算法。你写的约束越复杂，求解时间越长。我见过有人写了100多行约束，结果每次随机化要花几毫秒——对于上百万次的测试来说，这时间成本可受不了。

所以，约束要精简，变量要分类，随机化要检查返回值。这三条记住了，你的随机化代码就能既高效又可靠。