SystemVerilog约束作用域疑问：为何不同randomize调用约束生效不同？

核心问题本质 #

你遇到的现象是SystemVerilog随机化机制的作用域规则导致的，关键要区分两种randomize调用的本质差异：

1. 两种randomize调用的区别 #

• 对象方法调用：obj.randomize()
  这种调用仅会激活该对象所属类（及父类）内部定义的约束，完全不会考虑外部类（比如你的my_test）中定义的、针对该对象的约束。约束的归属是其定义的类，而非被约束的对象。

• 作用域随机化任务：randomize(obj)
  这种调用会激活当前作用域内所有引用目标对象rand变量的约束，同时也会包含对象自身类的约束（无冲突前提下）。这里的当前作用域就是my_test类的实例，所以test_constraint_c会被纳入求解。

2. 约束的作用域规则 #

SystemVerilog的约束块是绑定到其定义的类作用域的：

• 你在my_test里定义的test_constraint_c属于my_test类的约束，只有当在my_test的作用域内，以作用域随机化的方式指定trans1为目标时，这个约束才会被随机化引擎识别。
• trans类的约束（比如addr_c）只会在调用trans1.randomize()时被加载，因为它属于trans类的作用域。

3. 针对测试场景的正确约束方式 #

如果要给特定测试添加专属约束，更推荐以下几种灵活的方式：

• 方式一：临时内嵌约束
  直接在调用对象randomize时用with子句添加测试专属约束，无需修改类结构：

  assert(trans1.randomize() with { addr > 11 && addr < 20; }) 
    else $display("TEST", "Randomization Failed");
  

• 方式二：动态约束控制
  可以在trans类中定义可开关的约束，在测试类中通过constraint_mode()方法启用/禁用：

  class trans;
    rand int addr;
    constraint addr_default_c { addr >0 && addr <10; }
    constraint addr_test_c { addr >11 && addr <20; } // 默认关闭
    function new();
      addr_test_c.constraint_mode(0);
    endfunction
  endclass
  
  // 在my_test中启用测试约束
  function new();
    trans1 = new;
    trans1.addr_test_c.constraint_mode(1);
    assert(trans1.randomize());
  endfunction
  

• 方式三：子类扩展约束
  针对特定测试创建trans的子类，添加专属约束，测试类中实例化子类对象：

  class trans_test extends trans;
    constraint addr_test_c { addr >11 && addr <20; }
  endclass
  
  class my_test;
    trans_test trans1;
    function new();
      trans1 = new;
      assert(trans1.randomize()); // 自动加载父类+子类约束
    endfunction
  endclass
  

内容的提问来源于stack exchange，提问作者Damo