3. 约束块入门：constraint块语法、简单约束示例、约束块的作用域

约束块，说白了就是给随机变量戴上「镣铐」。没有约束的随机，就像脱缰的野马——你永远不知道它会跑到哪里去。我在做第一个验证项目时，就吃过这个亏：随机出来的地址居然是非对齐的，直接导致DUT崩溃。嗯，从那以后，我写约束比写激励还认真。

3.1 constraint块的基本语法

SystemVerilog里，约束块用constraint关键字声明。我个人习惯把它放在类的声明里，紧跟在变量定义后面。这样一眼就能看到哪些变量受约束，哪些是自由的。

class packet;
    rand bit [7:0] addr;
    rand bit [7:0] data;
    
    constraint addr_c {
        addr inside {[0:255]};
        addr % 2 == 0;  // 地址必须偶数对齐
    }
    
    constraint data_c {
        data != 8'h00;
        data != 8'hFF;
    }
endclass

你看，语法其实很简单：

• constraint 后面跟约束块的名字（随便起，但要有意义）
• 大括号里写约束表达式
• 每个表达式用分号结尾
• 约束块可以写多个，各自独立

3.2 简单约束示例

光说理论太枯燥，咱们直接看几个我在项目中用过的例子。

示例1：范围约束

class range_example;
    rand int value;
    
    constraint range_c {
        value >= 10;
        value <= 100;
    }
endclass

这个最简单，value只能在10到100之间。注意，rand关键字别忘了加，不然约束写了也白写。

示例2：inside操作符

class inside_example;
    rand bit [3:0] opcode;
    
    constraint valid_op_c {
        opcode inside {[0:5], 7, 9};  // 允许的值：0-5, 7, 9
    }
endclass

inside是我最常用的操作符。它比写多个==优雅多了。你想想看，如果要排除某些值，用! inside就行。

示例3：条件约束

class conditional_example;
    rand bit mode;
    rand int length;
    
    constraint length_c {
        if (mode == 0) {
            length inside {[1:10]};
        } else {
            length inside {[100:200]};
        }
    }
endclass

条件约束很实用。我记得有一次，协议规定短包和长包的长度范围不同，用if-else一把搞定。

3.3 约束块的作用域

约束块的作用域，说白了就是「这个约束管哪些变量」。搞清楚这个，能避免很多莫名其妙的随机失败。

3.3.1 类内部约束

最常见的用法：约束块定义在类里面，它只能约束这个类的成员变量。跨类约束？不行，编译器会报错。

class A;
    rand int x;
    constraint x_c { x > 0; }
endclass

class B;
    rand int y;
    // 错误！不能约束A的x
    // constraint bad_c { A::x > 0; }  
endclass

3.3.2 继承中的约束

子类可以继承父类的约束，也可以覆盖或扩展。我建议尽量用constraint_mode()来控制，而不是直接修改父类约束。

class base;
    rand int val;
    constraint base_c { val inside {[0:100]}; }
endclass

class extended extends base;
    constraint ext_c { val > 50; }  // 额外约束：val在51-100之间
endclass

3.3.3 外部约束

有时候，你不想把约束写死在类定义里。比如测试用例需要临时加约束。这时候可以用extern constraint。

class packet;
    rand int len;
    extern constraint extra_c;  // 声明，不实现
endclass

// 在测试用例里实现
constraint packet::extra_c {
    len > 100;
}

这个特性我用的不多，但在做回归测试时很有用。不同的测试用例可以给同一个类加不同的外部约束，不用改类本身。

3.4 约束块的作用域总结

作用域类型	说明	使用场景
类内部约束	约束定义在类内，只作用于该类成员	最常用，默认方式
继承约束	子类继承父类约束，可扩展或覆盖	需要复用基础约束时
外部约束	约束声明在类内，实现在类外	测试用例需要临时加约束

约束块是随机验证的基石。你想想看，没有约束的随机，就像没有交通规则的城市——车再多也是乱跑。有了约束，我们才能精准地控制激励的分布，让验证覆盖到我们想要的方向。

嗯，约束块的内容就讲到这里。记住一句话：约束不是限制，而是引导。它让随机变量按照你的意图去取值，而不是漫无目的地乱跑。