请教constraint

atlandis

class ctrl_seq_cfg extends ctrl_seq_base;


rand bit [13:0]                    data0;

rand bit [13:0]                    data1;


constraint c_data0  { data0  <= 14'd4096; data0  >= -14'd4096;}

constraint c_data1  { data1  <= 14'd4096; data1  >= -14'd4096;}

请教，定义位宽为14bit的数据rand bit，是不是就不能限制 data0  >= -14'd4096;
如何解决这个问题呢？应该如何定义？

atlandis

回复 2# 南宫恨


   信号是14bit的，我可以定义
rand int [13:0]                    data0; ？不对吧。

  应该如何处理呢？

atlandis

回复 2# 南宫恨


   接口的信号只能是14bit，我必须定义int，然后用的时候，截取低14bit？

atlandis

回复 7# 南宫恨


   非常感谢，我已经用另一种方法实现了

constraint c_data0  { (data0 [13:12]==2'b00) | (data0 [13:12]==2'b11 ) ; }

constraint c_data1  { (data1 [13:12]==2'b00) | (data1 [13:12]==2'b11 ) ; }