|=>与|->的区别

drysky · 发表于 2012-11-27 11:57:35

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

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

x

有哪位同学给普及一下这两个赋值符号的区别，及其应用场景呢？

拜谢啦

729050850 · 发表于 2012-11-27 12:27:20

先说明是哪个语言里的符号啊，不同语言里相同符号含义不一定一样

drysky · 发表于 2012-11-27 13:01:11

回复 2# 729050850

systemverilog ，谢谢了

drysky · 发表于 2012-11-27 17:51:15

自己发一个答案，在SVA中：
1、overlapped implication( |-> ) ：如果现行算子匹配，在同一个时钟周期计算后续算子的表达式。即，两个表达式需要在同一个时钟周期内同时成立。

2、unoverlapped implication( |=> ) ：如果现行算子匹配，在下一个时钟周期计算后续算子的表达式，即会有一个时钟周期的延迟！！即两个条件如果都成立的话，可以有一个时钟周期的差异。

谁还有不同意见？

wk61003130 · 发表于 2012-11-29 00:25:12

ls正解

lissee_lissee · 发表于 2013-5-19 21:13:19

正解！！

[讨论] |=>与|->的区别

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

站长推荐 /1