|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
新手刚写Assertion,在属性里定义了一个变量作为延迟的时间,但是编译的时候报错,代码如下:
int t1;
always @(posedge dig_clk) begin
if(temp)
t1=250;
else
t1=150;
end
property past_to_pos(mod,str,sig,delay);
int count
@(posedge dig_clk) disable iff(~rst || mod)
$rose(str) |-> ($past($rose(sig),delay)==1'b1);
endproperty
aaa:assert property(past_to_pos(0,a,b,t1))
else $error("assert error:aaa");
*E:Illegal operand for constant expression
意思是属性里的延迟智能用常量吗?那如果我的延迟时间就是一个变量怎么办呢?
求哪位大神帮忙解答一下 |
|