标签:
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:
这种约束形式在跨寄存器的约束多时特别有用。
版权声明:本文为博主原创文章,未经博主允许不得转载。
标签:
原文地址:http://blog.csdn.net/tingtang13/article/details/46827651