一種基于ＳｙｓｔｅｍＣ屬性檢查的驗證方法

王　勝　趙瑞蓮

摘要：當今復雜電子系統傾向于在更高抽象級進行建模，一種基于C／C⁺⁺的硬件描述語言，SystemC語言變得非常重要。在此探討了一種基于systemc屬性檢查的仿真驗證方法。針對電路系統的線性時態邏輯屬性，定義了屬性表達的基本形式，并用SystemC代碼描述系統屬性，在仿真中檢查系統屬性從而達到驗證目的。首先介紹SystemC語言及一種基于systemC的屬性檢查方法，討論了現有方法的不足之處，并給出了兩種改進方案，最后通過實驗證實該方案的有效性，同時實驗表明該改進方案在仿真性能上有很大的提高。

關鍵詞：SystemC；屬性檢查；屬性鏈；復雜電子系統

中圖分類號：TN710文獻標識碼：B文章編號：1004—373X(2009)08—052—04