assertion 求助

simonhqz · 发表于 2016-2-29 15:23:03

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

最近做一个assertion，要求在信号rd为高时，判断信号addr保持时间是否达到最小保持时间我写了一个assertion但是语法总是不过，求教一下这么写到底哪有问题：
property aaa;
(rd == 1) throughout( @(posedge clk) addr_dly != addr |-> ##[350

] addr_dly != addr);
endproperty
assert property(aaa);

simonhqz · 发表于 2016-2-29 15:54:31

怎么出来了个表情。。。。表情那个地方是： $

wei_wilson · 发表于 2018-6-7 14:11:06

normally, we often write it like this:
property aaa;
@(posedge clk)
$rose(rd) |-> (rd == 1) throughout(( addr_dly != addr)[*350

]);
endproperty
assert property(aaa);

zqq624723237 · 发表于 2018-8-7 15:21:14

表情很到位

[求助] assertion 求助

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /2