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

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

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

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

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