每次看複雜斷言都在考驗閱讀理解能力，還有沒有其它解藥？

  ​ rockeric.com   前言 基於斷言的驗證已成爲現代設計驗證的一個組成部分。併發（concurrent）SVA是一種強大的斷言語言，它以簡潔的符號和規則表達屬性的定義；它的適用範圍非常廣泛，被強烈推薦使用。   但是，SVA是爲靜態世界而設計的，這也就造成了一些侷限性： （1）它無法輕鬆地根據單元變量（模塊，檢查器，接口）的值解決延遲和重複的使用問題； （2）它不能引用非靜態類屬性

>>阅读原文<<