SVA中的局部變量

局部變量是SVA語言中最強大的特性之一，它使得檢查設計中複雜的流水線行爲成爲可能。SVA中的局部變量是動態變量，也就是說它會在每一個sequence實例化的時候動態創建，在sequence結束的時候自動銷燬。 以下圖爲例： 局部變量可能是您經常使用的功能。它們可以用於序列（sequence）或者屬性（property）。之所以稱之爲局部是因爲它們對聲明它的sequence是局部的，對其他seque

>>阅读原文<<