3. 约束块基础：约束块的声明与位置、简单表达式约束、集合与范围约束
各位同学，今天我们来聊聊约束块的基础。说实话，约束是随机验证的灵魂。没有约束的随机，那就是瞎蒙。我在项目里见过太多人，一上来就写复杂的约束，结果仿真跑不动，调试想撞墙。咱们今天就把基础打牢。
3.1 约束块的声明与位置
约束块，说白了就是告诉仿真器：「嘿，你随机的时候，得按我的规矩来」。它的声明方式很简单，用 constraint 关键字。
class my_packet;
rand bit [7:0] addr;
rand bit [7:0] data;
// 约束块声明
constraint c_addr_range {
addr inside {[0:100]};
}
endclass我个人习惯把约束块放在类的最后面，变量声明之后。这样代码读起来清爽。你想想看，一打开文件，先看到变量，再看到约束，逻辑很顺。
约束块的位置有讲究：
- 类内部声明：最常用，约束和类绑定在一起
- 外部约束：用
constraint c_name { ... }在类外定义，适合后期修改 - 内联约束：用
randomize() with { ... }临时加约束，灵活但别滥用
重要提醒：约束块的名字不能重复。同一个类里，两个约束块同名，编译器会报错。我刚开始学的时候犯过这错，找了半天。
3.2 简单表达式约束
简单表达式约束，就是直接用关系运算符。比如大于、小于、等于、不等于。这些是约束的「基本盘」。
class simple_example;
rand int a, b, c;
constraint c_simple {
a > 0;
b < 100;
c == a + b;
a != b;
}
endclass嗯，这里要注意：c == a + b 这种写法，不是赋值，是约束条件。仿真器会保证随机出来的值满足这个等式。我在项目中遇到过一个问题：有人把 == 写成了 =，结果约束没生效，数据全乱套了。所以，写约束时一定要用 ==。
常见的简单表达式约束：
| 运算符 | 含义 | 示例 |
|---|---|---|
| > | 大于 | a > 10 |
| < | 小于 | b < 50 |
| >= | 大于等于 | c >= 0 |
| <= | 小于等于 | d <= 255 |
| == | 等于 | e == 5 |
| != | 不等于 | f != 0 |
小技巧：如果你想让某个变量固定取值，用 == 约束就行。但别滥用，否则随机性就没了。我曾经为了调试方便，把一堆变量都固定了，结果覆盖率死活上不去……后来才意识到，约束太死等于没随机。
3.3 集合与范围约束
集合约束用 inside 关键字。它可以让变量从一个集合里取值。范围约束是集合约束的一种特殊形式，用 inside {[low:high]} 表示。
class set_range_example;
rand bit [3:0] mode;
rand int length;
constraint c_set {
mode inside {0, 1, 2, 3}; // 离散集合
}
constraint c_range {
length inside {[1:1024]}; // 连续范围
}
constraint c_exclude {
!(mode inside {4, 5}); // 排除某些值
}
endclass你想想看，inside 有多好用？它把复杂的条件判断变成了一行代码。比如你想让 mode 只取 0、1、2、3 这四个值，用 inside 就搞定了。不用写一堆 mode == 0 || mode == 1 || ...，多累啊。
集合约束的几种玩法：
- 离散集合：
inside {1, 3, 5, 7}，只从这几个值里选 - 连续范围：
inside {[0:255]}，从 0 到 255 任意值 - 混合集合：
inside {0, [10:20], 30}，离散和范围混着用 - 取反：
!(x inside {[0:10]})，排除某个范围
避坑指南：我曾经在项目里用 inside {[1:10]} 约束地址，结果发现地址总是 1 或 10，中间的值很少出现。后来才明白，inside 是均匀分布，但边界值概率并不低。如果你需要更精细的概率控制，得用 dist 约束。这个我们后面会讲。
3.4 知识体系结构图
下面这张图，帮你理清约束块的核心逻辑。我画图时习惯把「声明位置」放在最上面，因为这是写约束的第一步。然后是「表达式类型」，最后是「集合与范围」这个重点。
3.5 实战中的坑与建议
讲完理论，咱们聊聊实战。我在项目中总结了几条经验，分享给你：
- 约束别写太复杂：一个约束块里塞几十行条件，调试时你会想哭。拆成多个小约束块，每个只做一件事。
- 多用
inside：它比一堆||和&&可读性强太多了。代码是给人看的，不是给机器看的。 - 注意约束冲突：如果两个约束矛盾了，仿真器会报错。比如一个说
a > 10，另一个说a < 5，那随机就失败了。我遇到过最离谱的一次，是同事把addr的范围约束和addr的排除约束写冲突了，仿真跑了三天才发现…… - 边界值要小心：
inside {[0:255]}看起来没问题，但如果你的设计只支持 0 到 254，那 255 就是非法值。记得用inside {[0:254]}或者加个排除约束。
我的习惯：每次写完约束，我都会先跑 100 次随机，打印出所有随机值，肉眼扫一遍。看看有没有异常值，有没有概率分布不均匀的情况。这一步花不了几分钟，但能省下后面几天的调试时间。
好了，约束块的基础就这些。记住：约束是随机验证的「方向盘」，你往哪打，车就往哪开。写约束时多想想「这个约束会不会太死？」「这个范围会不会漏掉边界？」。嗯，把这些想清楚了，你的验证环境就稳了一半。