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

王　勝　趙瑞蓮

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

關(guān)鍵詞：SystemC；屬性檢查；屬性鏈；復(fù)雜電子系統(tǒng)

中圖分類號(hào)：TN710文獻(xiàn)標(biāo)識(shí)碼：B文章編號(hào)：1004—373X(2009)08—052—04