约束块基础：定义、作用域与开关控制
约束块这东西，说白了就是给随机变量戴上「紧箍咒」。没有它，随机数生成器就像脱缰的野马，什么值都可能蹦出来。我刚开始用 SystemVerilog 做验证那会儿，就吃过这个亏——随机出来的地址居然是非对齐的，直接把 DUT 干崩了。
嗯，今天咱们就把约束块的基础掰扯清楚。
约束块的定义
约束块用 constraint 关键字声明。语法很简单：
class my_packet;
rand bit [7:0] addr;
rand bit [7:0] data;
constraint addr_range {
addr inside {[0:100]};
}
endclass看到没？constraint addr_range 就是约束块的名字。里面写的是约束表达式。我个人习惯把约束块名字起得有意义，比如 addr_range、data_valid，这样代码读起来像自然语言。
关键点：约束块必须定义在类内部。变量必须声明为 rand 或 randc，否则约束不生效。
你想想看，如果变量没加 rand，约束块写得再漂亮也没用。我见过有人调试了半天，最后发现变量忘了加 rand——这种低级错误，犯一次就记住了。
约束块的作用域
约束块的作用域就是它所在的类。你不能在类外面定义约束块。但有个技巧：约束块可以访问类里的所有成员，包括非随机变量。
class packet;
rand bit [7:0] len;
int max_len; // 非随机变量
constraint len_c {
len < max_len;
}
endclass这里 max_len 不是随机变量，但约束块照样能用它。我在项目中经常用这个技巧——通过外部配置来动态调整约束范围。
小技巧：约束块里可以调用类方法。比如写一个 is_valid() 函数，在约束里调用它。但要注意，函数不能有副作用，否则随机化可能失败。
约束块的作用域还有一个容易忽略的点：继承。子类可以继承父类的约束块，也可以覆盖它。嗯，这里要注意——覆盖不是用 override，而是重新定义一个同名约束块。
class base_packet;
rand int addr;
constraint addr_c {
addr inside {[0:255]};
}
endclass
class ext_packet extends base_packet;
constraint addr_c {
addr inside {[100:200]}; // 覆盖父类约束
}
endclass我曾经在项目中遇到一个坑：子类想增加约束条件，结果不小心把父类约束完全覆盖了。正确的做法是用 constraint addr_c { super.addr_c; addr != 0; } 来继承并扩展。
约束块的开启与关闭
约束块不是必须一直生效的。你可以用 constraint_mode() 来控制它。这玩意儿在复杂场景下特别有用。
class packet;
rand bit [7:0] addr;
constraint addr_range {
addr inside {[0:100]};
}
constraint addr_not_zero {
addr != 0;
}
endclass
packet p = new();
p.constraint_mode(0); // 关闭所有约束
p.addr_range.constraint_mode(1); // 只打开 addr_range
p.randomize();这段代码的意思是：先关掉所有约束，再单独打开 addr_range。这样 addr 会在 0~100 之间随机，但允许出现 0。
避坑指南：我曾经在回归测试中发现某些用例随机失败，查了半天，原来是某个约束块被意外关闭了。建议在随机化前后打印约束状态，方便调试。
约束块的开关控制，说白了就是给你一把「手术刀」。你可以精准地控制哪些约束生效，哪些不生效。这在做异常测试时特别有用——比如故意关闭地址对齐约束，看看 DUT 能不能正确处理非对齐访问。
知识体系一览
下面这张图把约束块的核心逻辑串起来了：
实际项目中的经验
我记得有个项目，需要验证一个 DMA 控制器。地址约束特别复杂——要对齐到 4 字节，不能落在保留区域，还要考虑 burst 长度。我把这些约束拆成了三个独立的约束块：
addr_alignment：地址对齐addr_valid_range：有效地址范围addr_burst_compat：地址与 burst 长度兼容
测试时，我可以单独关闭某个约束块来构造异常场景。比如关闭 addr_alignment，看看 DUT 对非对齐访问的处理。这种「模块化」的约束设计，让测试覆盖率提升了不少。
个人建议：约束块不要写得太「胖」。一个约束块只做一件事，这样调试时能快速定位问题。我见过有人一个约束块写了 50 行，出了错根本不知道是哪条约束导致的。
最后说一句：约束块是随机验证的灵魂。你花时间把约束块设计好，后面写测试用例会轻松很多。别像我刚开始那样，随机出来一堆无效数据，白白浪费仿真时间。
可可精品资料库