SVA中的局部变量

局部变量是SVA语言中最强大的特性之一,它使得检查设计中复杂的流水线行为成为可能。SVA中的局部变量是动态变量,也就是说它会在每一个sequence实例化的时候动态创建,在sequence结束的时候自动销毁。 以下图为例: 局部变量可能是您经常使用的功能。它们可以用于序列(sequence)或者属性(property)。之所以称之为局部是因为它们对声明它的sequence是局部的,对其他seque
相关文章
相关标签/搜索