基于GSTE中的符號(hào)仿真設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著1958年美國(guó)德州儀器公司第一塊集成電路板的誕生，全球從此進(jìn)入到了集成化電路的時(shí)代。目前，集成電路的應(yīng)用非常廣泛和普及，大到航空航天設(shè)備，小到我們現(xiàn)在人人都在使用的手機(jī)、電腦、電視等設(shè)備都離不開集成電路的支持。因此，可以毫不夸張的說(shuō)，集成電路的飛速發(fā)展改變了世界。在我國(guó)，工業(yè)和信息化部剛剛發(fā)布的《集成電路產(chǎn)業(yè)“十二五”發(fā)展規(guī)劃》中明確提到“十二五”末，我國(guó)集成電路產(chǎn)業(yè)規(guī)模將比“十一五”規(guī)模再翻一倍以上，可見集成電路產(chǎn)業(yè)在我國(guó)現(xiàn)代化建

2、設(shè)進(jìn)程中起到了相當(dāng)大的推動(dòng)作用。
　　正是由于集成電路的前景變得越來(lái)越光明，在我國(guó)，反而數(shù)字電路領(lǐng)域的驗(yàn)證技術(shù)確帶有明顯的滯后性。從最開始的傳統(tǒng)的模擬驗(yàn)證技術(shù)發(fā)展到如今的GSTE（廣義符號(hào)軌跡賦值，GeneralizedSymbolicTrajectory Evaluation）驗(yàn)證方法，中間過(guò)程曲折而漫長(zhǎng)。讓人慶幸的是，現(xiàn)在越來(lái)越多的公司、企業(yè)開始注重電路設(shè)計(jì)中的驗(yàn)證工作，相信數(shù)字硬件的驗(yàn)證未來(lái)將來(lái)更加明朗。
　　本文首先

3、從最初的傳統(tǒng)模擬驗(yàn)證開始，對(duì)其進(jìn)行了介紹，一直到后來(lái)的形式化驗(yàn)證，分析比較了模擬驗(yàn)證與形式化驗(yàn)證各自的優(yōu)缺點(diǎn)，為了將兩種驗(yàn)證有效結(jié)合，產(chǎn)生了STE（符號(hào)軌跡賦值，Symbolic Trajectory Evaluation）驗(yàn)證方法，由于STE驗(yàn)證在驗(yàn)證時(shí)間性的不足，Jin Yang對(duì)其進(jìn)行了改進(jìn)，引入了斷言圖概念，又提出了GSTE驗(yàn)證方法。經(jīng)過(guò)最終的驗(yàn)證實(shí)踐，GSTE驗(yàn)證方法得到了逐步地推廣，并為大家所廣泛的接受。
　　本文的核

4、心部分是研究設(shè)計(jì)實(shí)現(xiàn)了基于 GSTE的符號(hào)仿真驗(yàn)證系統(tǒng)。理論依據(jù)主要來(lái)源于GSTE驗(yàn)證理論，并結(jié)合開源的VIS源代碼，對(duì)VIS進(jìn)行擴(kuò)充修改。在VIS中加入了GSTE驗(yàn)證算法，并擴(kuò)充了VIS中所不能識(shí)別的斷言圖描述語(yǔ)言，最后使用Java編程語(yǔ)言構(gòu)建了平臺(tái)主框架，通過(guò)TCP/IP協(xié)議實(shí)現(xiàn)了前臺(tái)與后臺(tái)的數(shù)據(jù)通信，最終實(shí)現(xiàn)了這一綜合驗(yàn)證仿真平臺(tái)。
　　最后，通過(guò)驗(yàn)證領(lǐng)域一個(gè)簡(jiǎn)單的交通燈實(shí)例對(duì)該仿真驗(yàn)證平臺(tái)進(jìn)行了系統(tǒng)測(cè)試，展示了系統(tǒng)驗(yàn)證工程