简单约束表达式：关系运算符、等式与不等式约束、范围约束

各位同学，今天我们来聊聊约束表达式里最基础、也最常用的一类——简单约束。说白了，就是那些用关系运算符、等式不等式、还有范围约束来表达的规则。

我刚开始学SystemVerilog那会儿，觉得约束不就是写几个条件吗？后来做项目才发现，越是简单的东西，用不好越容易翻车。咱们今天就把这些基础打扎实。

关系运算符在约束里用的最多。无非就是 >、<、>=、<=、==、!= 这六个。但有个坑，我当年踩过——

注意：约束里的 == 是赋值还是比较？答案是：在约束块里，== 就是等式约束，不是赋值。别跟过程块里的阻塞赋值搞混了。

举个例子，你想让一个地址变量 addr 在 0x1000 到 0x1FFF 之间，但排除 0x1500：

class MyTransaction;
  rand bit [15:0] addr;
  
  constraint addr_c {
    addr >= 16'h1000;
    addr <= 16'h1FFF;
    addr != 16'h1500;
  }
endclass

你看，这里用了 >=、<= 和 !=。简洁明了。我个人习惯把范围约束和不等式分开写，这样可读性更好。

等式约束 == 用来强制变量等于某个值。但要注意——它会让随机性大打折扣。你想想看，如果约束里写死了 addr == 16'h1000，那随机出来的地址永远是 0x1000，跟定值没区别。

那什么时候用等式约束？我一般在两种场景用：

经验之谈：我在做AXI总线验证时，经常需要把burst长度和实际数据数量绑定。用等式约束 burst_len == data_queue.size() 就非常方便。但要注意，这种关联约束可能会让求解器多花点时间。

不等式约束用 > 和 < 表示开区间，>= 和 <= 表示闭区间。这个区别很重要——

嗯，这里要注意：如果你写 a > 0 && a < 10，那 a 的取值范围是 1 到 9。但如果你写 a >= 0 && a <= 10，那就是 0 到 10 全包了。差一个等号，边界值就变了。

小技巧：我建议在写约束时，尽量用 >= 和 <=，少用 > 和 <。为什么？因为边界值往往是最容易出bug的地方，闭区间让你对边界一目了然。

范围约束用 inside 操作符，语法是 变量 inside { 值1, 值2, ... } 或者 变量 inside { [低:高] }。这是我最喜欢的约束写法，没有之一。

举个例子：

constraint valid_addr_c {
  addr inside { [16'h1000:16'h1FFF], 16'h3000, 16'h4000 };
}

这段代码的意思是：addr 要么在 0x1000~0x1FFF 范围内，要么等于 0x3000，要么等于 0x4000。你看，混合了范围枚举和单值枚举，非常灵活。

我曾经在一个项目里，需要随机生成一组中断号，要求是：

用 inside 写出来就是：

constraint irq_c {
  irq_num inside { [0:31] };
  !(irq_num inside { 15, 16 });
  irq_num % 2 == 0;
}

简洁吧？而且可读性极强。你一看就知道约束条件是什么。

注意：inside 的区间是闭区间，即 [0:31] 包含 0 和 31。别跟某些编程语言的半开区间搞混了。

说了这么多语法，咱们聊聊底层。约束求解器是怎么处理这些简单约束的？

说白了，求解器会把所有约束条件转换成一个 约束图，然后在这个图上做搜索。关系运算符和等式不等式会被转换成节点之间的边，范围约束会被转换成节点的取值范围。

我画了个图，帮你理解这个流程：

这个图展示了从约束表达式到最终求解的完整路径。你写的关系运算符、等式、不等式，都会被解析成约束图里的节点和边。求解器就在这个图上做搜索。

最后，分享几个我踩过的坑：

我曾经...写过一个约束 addr inside { [0:2**16-1] }，心想这范围够大了吧？结果求解器跑了好久才出结果。后来发现，对于大范围约束，求解器需要遍历的空间太大。建议尽量缩小范围，或者用 dist 操作符做分布约束。

另一个经验：等式约束和不等式约束混用时，注意优先级。比如 a == b + c > 10，这到底是什么意思？是 (a == b) + (c > 10) 还是 a == (b + c > 10)？我建议用括号明确优先级，别让求解器猜你的意图。

好了，简单约束就讲到这里。这些基础操作符虽然简单，但组合起来能表达非常复杂的约束条件。下一节我们会聊更高级的约束技巧，到时候你会发现，今天学的这些就是地基。

可可精品资料库