SVA语法：## 1 a | - ＆gt;之间的差异b与a | - ＆gt; $过去（二）

Question

这两个表达的区别是什么：

##1 a |-> b 

与

a |-> $past(b)

在第一个中，是否会使用当前周期的b值或下一个周期？

Answer 1

由于在两种情况下都使用重叠蕴涵运算符，因此LHS（前提）变为真的周期与RHS（后续）开始的周期相同。因此，在第一个语句中，b和##1都必须在同一个循环中为真。 a |-> b; a |=> $past(b); 只是将整个操作延迟一个周期。

您可能会想到重叠和非重叠之间的区别。对于这些简单属性，以下内容是等效的：

ReactDOM.render(<App />, document.getElementById('root'))