本文共 436 字，大约阅读时间需要 1 分钟。

1.需要一种跨越寄存器的约束。要求2个field 的和大于100。只有上节第二种能实现：

2.由于这个约束对所有测试都适用，因此希望写在寄存器模型的constraint 里：

3.这个寄存器模型使自己手工创建的，没问题。但在IC 中，寄存器模型都是由一些脚步命令自动创建的。在验证平台中，用到寄存器的地方有3个：

RTL

systemverilog

C语言

1）必须时刻保持这3 处的寄存器完全一致。有一处更新，其他两处必须更新。寄存器多，浪费时间。

2）IC 公司会将寄存器描述放在一个源文件中，使用脚本生成对应的3个模型。寄存器模型更新时，只更新源文件即可，省时省力，主流方式。

4.使用脚本创建时，在寄存器模型加入constraint 比较困难。很多寄存器模型的工具不支持约束。

5.解决，建立一个dut_parm 类，在其中约束：

6.在virtual sequence 中，例化此类，随机，并调用update_reg：

这种约束形式在跨寄存器的约束多时特别有用。