SV-assertion

斷言(assert)是一種描述性語言，通過描述的期望結果來進行仿真驗證。 斷言有一個更加基礎的信息，我們稱為屬性(property)，屬性可以作為斷言結果，功能覆蓋點，形式檢查和約束隨機激勵生成。 ...

SV class

SV中的class通過new來創建實例，new函數可以傳遞多個參數； 　　 　　packet P1； P1 = new；創建一個P1的對象； 　　　　　　　　P2 = P1；P2也指向同一個對 ...

sv命令空間 package

SV中的module，interface，program，checker，都提供declaration空間，內部定義都local當前的那個scope，相互之間的building block不影響，不識 ...