简单约束与表达式：关系运算符、取值范围、权重分布
各位同学，今天我们来聊聊约束求解器最基础、也最常用的三种约束写法。说实话，我刚入行那会儿，觉得约束不就是加个范围嘛，有什么好学的？结果第一次做复杂IP验证，就被一个看似简单的权重分布坑了一整天。嗯，咱们今天就把这些基础打扎实。
关系运算符约束
关系运算符，说白了就是大于、小于、等于这些。在SystemVerilog里，我们常用的有：>、<、>=、<=、==、!=。你可能会说，这谁不会啊？但实际用起来，有几个细节我得提醒你。
核心要点：关系运算符约束是双向的。你约束了 a > b，求解器会同时调整 a 和 b 的值来满足条件。
举个例子：
class Transaction;
rand bit [7:0] addr;
rand bit [7:0] data;
constraint addr_gt_data {
addr > data;
}
endclass这段代码的意思是：addr 必须大于 data。但注意，求解器不会先固定 data 再找 addr，而是同时搜索。我在项目中遇到过一个问题：有人以为 addr > data 只是限制了 addr，结果 data 被随机到了 255，addr 永远无法满足条件。嗯，这就是对双向性理解不够。
小技巧：如果你想让某个变量固定，可以用 == 或者 const 变量。比如 addr == 100，那 addr 就锁死了。
取值范围约束
取值范围约束，就是给变量划个圈。常用的写法有两种：inside 和 dist。咱们先讲 inside。
inside 的语法很直观：
class Packet;
rand int length;
constraint valid_length {
length inside {[64:1518]};
}
endclass这样 length 就被限制在 64 到 1518 之间。你还可以用集合：
constraint specific_values {
length inside {64, 128, 256, 512, 1024};
}我个人习惯用 inside 来做边界测试。比如验证以太网帧，我会把长度约束在 {64, 1518} 这两个边界值上，看看 DUT 能不能正确处理。你想想看，边界往往是 bug 的高发区。
注意：inside 是包含边界的。也就是说 length inside {[64:1518]} 包括 64 和 1518 本身。如果你想要开区间，得自己用关系运算符组合。
权重分布约束（dist）
好了，重点来了。权重分布约束，也就是 dist，是随机验证里最灵活、也最容易出错的约束之一。
dist 的语法有两种形式：
:=操作符：每个值分配相同的权重:/操作符：权重平均分配到整个范围
看个例子你就明白了：
class WeightedExample;
rand int value;
constraint weight_dist {
value dist {
[0:10] := 1, // 0到10每个值权重都是1
[11:20] := 2, // 11到20每个值权重都是2
21 := 5 // 21这个值权重是5
};
}
endclass这段代码的意思是：0到10每个值出现的概率相同，11到20每个值出现的概率是前者的两倍，21出现的概率是0到10的五倍。说白了，就是让某些值更容易被选到。
那 :/ 呢？
constraint weight_dist2 {
value dist {
[0:10] :/ 1, // 整个[0:10]范围总权重是1
[11:20] :/ 2, // 整个[11:20]范围总权重是2
21 :/ 5 // 21这个值权重是5
};
}注意区别：:= 是每个值独立权重，:/ 是整个范围共享权重。我曾经在项目中用错了，本来想让 0-10 每个值概率相等，结果用了 :/，导致 0-10 整体概率和 11-20 一样，但 0-10 有11个值，每个值的概率反而低了。嗯，这个坑我踩过。
实战建议：如果你想让某个值出现概率特别高，比如错误注入场景，可以用 dist 给它一个很大的权重。但注意，权重不是概率，是相对比例。求解器会根据所有权重的总和来计算概率。
三种约束的对比
| 约束类型 | 适用场景 | 注意事项 |
|---|---|---|
| 关系运算符 | 变量间的大小、相等关系 | 双向约束，小心死锁 |
| 取值范围（inside） | 固定范围或离散值集合 | 包含边界，注意开闭区间 |
| 权重分布（dist） | 需要控制概率分布 | 区分 := 和 :/，避免概率误解 |
知识体系图
下面这张图帮你理清这三种约束的关系：
这张图把三种约束的关系和特点都画出来了。你想想看，实际项目中，我们经常需要组合使用。比如先通过关系运算符建立变量间的依赖，再用 inside 限定范围，最后用 dist 调整概率分布。三者配合，基本能覆盖 90% 的随机场景。
我的经验：刚开始学约束时，别想着一步到位。先写关系约束，跑通了再加范围，最后调权重。这样调试起来思路清晰，不会一锅粥。
好了，今天的内容就到这里。这三种约束是随机验证的基石，一定要亲手写几遍代码，跑几个仿真，才能真正理解。下一章我们会聊更复杂的约束表达式，到时候这些基础就派上用场了。