assertion 变量时间的延迟，怎么coding

VPN_chip_design · 发表于 2017-11-23 14:59:30

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

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

x

比如说a信号上升后一段时间T后b信号拉升。
$rose(a) |-> ##T $rose(b)

但是T这个量，在RTL中是可配的寄存器。如果直接写##T的话，由于是变量AST语法会报错。
请问怎么写比较方便呢。

VPN_chip_design · 发表于 2017-11-24 08:59:23

为什么一问到技术类的问题就木有人回答呢 - -

jojohnny888 · 发表于 2017-11-24 11:05:19

我觉得断言自己都不知道应该多久之后检查，那怎么检查呢？所以这个地方就应该是支持常量的吧

e_epsh · 发表于 2017-11-24 17:43:35

使用interface 将寄存器值通过interface传到sva的module
T做成一个interface变量

VPN_chip_design · 发表于 2017-11-27 14:39:46

回复 4# e_epsh

确定可以吗？我感觉通过interface，系统应该还是认为是一个变量吧。
这个信号本身是rtl里面的变量，和其他信号一样，我是通过bind连接过来的，作为assertion module的input信号

e_epsh · 发表于 2017-11-27 15:51:06

回复 5# VPN_chip_design

没看清楚
-> ##a
在SVA里面这个a只能是常量
你这个功能应该做成
$rose(a_pos_delay_reg_value) |-> $rose(b_pos )

zxm92 · 发表于 2017-11-27 17:15:27

1.写一个clk 计数器 clk_counter
2.rose a 记录当前周期数t1
3. first match 找到rose b记录当前周期数t2
4. 比较t2- t1与T是否相等
也可以比较绝对时间，看您的需求了
($rose(a),t1 = clk_counter) |-> first_match (##[0:`MAX] ($rose(b), t2 = clk_counter)) ##0((t2-t1) == T)

VPN_chip_design · 发表于 2017-11-29 13:13:36

回复 7# zxm92

嗯，感觉靠谱

[求助] assertion 变量时间的延迟，怎么coding

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

站长推荐 /2