專利名稱:一種自動化ip驗證平臺的制作方法
一種自動化IP驗證平臺
技術(shù)領(lǐng)域:
本發(fā)明涉及集成電路IP驗證平臺,具體是指一種自動化IP驗證平臺。
背景技術(shù):
隨著微電子技術(shù)的飛速發(fā)展,集成電路規(guī)模按照摩爾定律(微芯片上集成的晶體管數(shù)目每18個月翻一番)飛速提高,片上系統(tǒng)(System On Chip,簡稱S0C)技術(shù)成為國際超大規(guī)模集成電路的發(fā)展趨勢。在SOC系統(tǒng)設(shè)計中,為了能夠快速、穩(wěn)定的形成產(chǎn)品, IP (intellectual property)核積累和復(fù)用技術(shù)逐漸成為各個芯片廠商的首選。在這樣的背景下,IP復(fù)用技術(shù)成為了集成電路設(shè)計的一個重要分支,很多設(shè)計廠商在購買其它公司的IP核的同時,也越來越重視本公司的IP核設(shè)計和積累。在IP累積過程中,設(shè)計和驗證是最重要的兩個部分,而隨著IP電路設(shè)計功能和結(jié)構(gòu)的日益復(fù)雜,驗證的工作量和難度更是以幾何級數(shù)的速度上升。驗證就是通過各種仿真、 數(shù)據(jù)比較等手段來證明設(shè)計的正確性的過程,由于要在驗證過程中需要證明設(shè)計在定義的所有的工作條件范圍內(nèi)不能出現(xiàn)錯誤,所以驗證的工作量相對于設(shè)計來說更加巨大。在部分復(fù)雜IP的研發(fā)過程中,驗證的時間甚至占到了總時間的80%以上。隨著IP驗證工作量的上升,一個復(fù)雜IP包含的算法越來越多,設(shè)計和驗證時所需要的算法也隨之增多,驗證時算法模型和驗證平臺的分離給驗證工作帶來了大量時間浪費?,F(xiàn)有的復(fù)雜IP驗證中仿真驗證平臺和算法模型平臺是分離的兩個平臺,激勵信息文件需要有兩種格式,分別用于IP仿真驗證平臺和算法模型運算,兩種格式文件需要驗證人員分別生成或者手工轉(zhuǎn)換。仿真驗證的正確性的證明方法是,在IP仿真驗證平臺和算法模型中使用相同激勵信息,然后對比IP電路和算法中最終的電路仿真采集數(shù)據(jù)結(jié)果和算法模擬計算結(jié)果,如果兩者一致則可證明電路可實現(xiàn)算法的功能;驗證人員先使用激勵信息在算法模型中產(chǎn)生模擬計算結(jié)果,并導(dǎo)出形成參考正確輸出文件;然后再IP仿真驗證平臺使用相同的激勵信息進行電路仿真,在與算法模擬計算節(jié)點對應(yīng)的位置采集輸出數(shù)據(jù),并將數(shù)據(jù)導(dǎo)出形成節(jié)點仿真采集數(shù)據(jù)文件;仿真和算法不同的平臺會造成手工移動數(shù)據(jù)文件時出錯的風(fēng)險增加,同時手工移動文件到一個位置也加大了驗證人員的工作量。在得到兩者的節(jié)點文件后,需要驗證人員手動將兩個平臺的文件整理到一起,然后再將對應(yīng)節(jié)點的仿真采集數(shù)據(jù)文件和參考正確輸出文件一個一個進行比較,以此順序來完成驗證的工作。大量的手工工作加大了出錯的風(fēng)險,也使得驗證人員的工作量非常巨大。如何將算法模型平臺和仿真驗證平臺有機的結(jié)合,減少兩個平臺之間的交互時間和人工工作量,都是當(dāng)前復(fù)雜IP驗證面臨的巨大挑戰(zhàn)。
發(fā)明內(nèi)容本發(fā)明所要解決的技術(shù)問題在于提供一種加入算法模型的自動化IP驗證平臺, 大大減少了驗證人員的工作量,并且減少了人工工作帶來的出錯風(fēng)險。
本發(fā)明采用以下技術(shù)方案解決上述技術(shù)問題一種自動化IP驗證平臺,包括激勵文件自動讀取單元、激勵文件格式轉(zhuǎn)換單元、 待驗證IP電路、仿真數(shù)據(jù)自動采集模型、C語言模型單元、文件數(shù)據(jù)比較器;所述激勵文件自動讀取單元,負責(zé)在驗證人員讓驗證平臺開始工作后,自動依次讀取激勵文件庫的激勵文件,后一個激勵文件在前一個激勵文件對應(yīng)的驗證仿真結(jié)束后自動被讀入;激勵文件被讀入后,激勵文件自動讀取單元自動將激勵數(shù)據(jù)文件送往所述C語言模型單元和所述激勵文件格式轉(zhuǎn)換單元;所述激勵文件格式轉(zhuǎn)換單元,負責(zé)將原來只能供C語言模型使用的激勵文件,按照IP電路需要的時序格式進行轉(zhuǎn)化,使其變?yōu)殡娐房勺R別的帶有時序信息的激勵數(shù)據(jù),這樣就可以使驗證人員不需要同時維護兩套激勵文件;所述待驗證IP電路,是指待驗證的IP設(shè)計;所述仿真數(shù)據(jù)自動采集模型,負責(zé)采集所術(shù)待驗證IP電路接收激勵后的輸出數(shù)據(jù),并將數(shù)據(jù)以文件形式輸出為一個仿真結(jié)果數(shù)據(jù)文件;同時負責(zé)在檢測到所述待驗證IP 電路在仿真結(jié)束后,向所述激勵文件自動讀取單元和所述文件數(shù)據(jù)比較器輸出仿真結(jié)束信號;所述C語言模型單元,負責(zé)運算所述待驗證IP電路需要實現(xiàn)的算法,在接收到激勵文件后,使用C語言運算得到參考正確結(jié)果數(shù)據(jù),并將數(shù)據(jù)導(dǎo)出產(chǎn)生參考正確數(shù)據(jù)文件;所述文件數(shù)據(jù)比較器,負責(zé)在接收到所述仿真數(shù)據(jù)自動采集模型的仿真結(jié)束信號后,自動讀取仿真結(jié)果數(shù)據(jù)文件和參考正確數(shù)據(jù)文件,并將兩文件內(nèi)容進行比較,如果一致則表示仿真正確,如果不一致則表示仿真錯誤,仿真判斷結(jié)果信息最終被導(dǎo)出到驗證結(jié)果記錄文件,該文件中記錄了每個激勵文件對應(yīng)的驗證仿真結(jié)果。本發(fā)明的優(yōu)點在于1、將IP仿真驗證平臺和算法模型平臺統(tǒng)一到一個共同的驗證平臺,驗證人員在驗證過程中不需要更換平臺進行操作,整個驗證工作都在一個平臺上完成;2、激勵信息文件只需要有IP電路仿真的格式,另外通過一個格式轉(zhuǎn)化腳本程序自動完成激勵信息文件的IP電路仿真的格式向算法模型需要的格式轉(zhuǎn)換;3、可以在電路結(jié)構(gòu)中設(shè)置數(shù)據(jù)采集節(jié)點,將這些節(jié)點的仿真結(jié)果和算法模擬結(jié)果進行比較,用于定位問題的位置;各個節(jié)點的數(shù)據(jù)采集模型工作與否,決定于驗證平臺中的開關(guān);4、整個驗證流程通過平臺的運行腳本串聯(lián)起來,驗證人員的工作只有需要指定好激勵文件和節(jié)點采集開關(guān), 剩余的數(shù)據(jù)采集、結(jié)果文件導(dǎo)出、參考文件搬移、結(jié)果文件比較、比較結(jié)果輸出工作都會自動化執(zhí)行;這樣大大減少了驗證人員的工作量,而且減少了手工工作出錯的風(fēng)險。
下面參照附圖結(jié)合實施例對本發(fā)明作進一步的描述。圖I是本發(fā)明的自動化IP驗證平臺框架圖。
具體實施方式如圖I所示,一種自動化IP驗證平臺框架圖,包括激勵文件自動讀取單元、激勵文件格式轉(zhuǎn)換單元、待驗證IP電路、仿真數(shù)據(jù)自動采集模型、C語言模型單元、文件數(shù)據(jù)比較器。
平臺外部結(jié)構(gòu)激勵文件庫,負責(zé)存放所有的激勵文件,激勵文件首尾相連,方便激勵自動讀取單元連續(xù)讀取;驗證結(jié)果記錄文件,負責(zé)記錄每個激勵文件對應(yīng)的驗證結(jié)果,方便驗證人員統(tǒng)一查看。平臺內(nèi)部結(jié)構(gòu)激勵文件自動讀取單元,負責(zé)在驗證人員讓驗證平臺開始工作后,自動依次讀取激勵文件庫的激勵文件,后一個激勵文件在前一個激勵文件對應(yīng)的驗證仿真結(jié)束后自動被讀入;激勵文件被讀入后,激勵文件自動讀取單元自動將激勵數(shù)據(jù)文件送往所述C語言模型單元和所述激勵文件格式轉(zhuǎn)換單元;激勵文件格式轉(zhuǎn)換單元,負責(zé)將原來只能供C語言模型使用的激勵文件,按照IP 電路需要的時序格式進行轉(zhuǎn)化,使其變?yōu)殡娐房勺R別的帶有時序信息的激勵數(shù)據(jù),這樣就可以使驗證人員不需要同時維護兩套激勵文件;待驗證IP電路,是指待驗證的IP設(shè)計;仿真數(shù)據(jù)自動采集模型,負責(zé)采集所術(shù)待驗證IP電路接收激勵后的輸出數(shù)據(jù),并將數(shù)據(jù)以文件形式輸出為一個仿真結(jié)果數(shù)據(jù)文件;同時負責(zé)在檢測到所述待驗證IP電路在仿真結(jié)束后,向所述激勵文件自動讀取單元和所述文件數(shù)據(jù)比較器輸出仿真結(jié)束信號;C語言模型單元,負責(zé)運算所述待驗證IP電路需要實現(xiàn)的算法,在接收到激勵文件后,使用C語言運算得到參考正確結(jié)果數(shù)據(jù),并將數(shù)據(jù)導(dǎo)出產(chǎn)生參考正確數(shù)據(jù)文件;文件數(shù)據(jù)比較器,負責(zé)在接收到所述仿真數(shù)據(jù)自動采集模型的仿真結(jié)束信號后, 自動讀取仿真結(jié)果數(shù)據(jù)文件和參考正確數(shù)據(jù)文件,并將兩文件內(nèi)容進行比較,如果一致則表示仿真正確,如果不一致則表示仿真錯誤,仿真判斷結(jié)果信息最終被導(dǎo)出到驗證結(jié)果記錄文件,該文件中記錄了每個激勵文件對應(yīng)的驗證仿真結(jié)果。本發(fā)明具體工作流程I.當(dāng)驗證平臺開始工作后,激勵文件自動讀取單元會開始讀取激勵數(shù)據(jù)文件庫中的第一個激勵數(shù)據(jù)文件,并將激勵文件自動讀取單元自動將激勵數(shù)據(jù)文件送往C語言模型單元和激勵文件格式轉(zhuǎn)換單元,2.由于電路工作的激勵不能直接使用C語言模型單元使用的激勵文件,所以激勵文件格式轉(zhuǎn)換單元在收到C語言模型單元使用的激勵文件后,將其按照IP電路需要的時序格式進行轉(zhuǎn)化,使其變?yōu)殡娐房勺R別的帶有時序信息的激勵數(shù)據(jù);與此同時,C語言模型單元在接收到激勵文件后,使用C語言運算得到參考正確結(jié)果數(shù)據(jù),并將數(shù)據(jù)導(dǎo)出產(chǎn)生參考正確數(shù)據(jù)文件,然后等待電路仿真完成后進行文件比較;3.激勵文件格式轉(zhuǎn)換單元將激勵數(shù)據(jù)轉(zhuǎn)化完畢后,將激勵送往待驗證IP電路,待驗證IP電路接收激勵后開始工作并輸出數(shù)據(jù);4.仿真數(shù)據(jù)自動采集模型,采集待驗證IP電路接收激勵后的輸出數(shù)據(jù),并將數(shù)據(jù)以文件形式輸出為一個仿真結(jié)果數(shù)據(jù)文件;同時負責(zé)在檢測到待驗證IP電路在仿真結(jié)束后;向激勵文件自動讀取單元和文件數(shù)據(jù)比較器輸出仿真結(jié)束信號;5.文件數(shù)據(jù)比較器在接收到仿真數(shù)據(jù)自動采集模型的仿真結(jié)束信號后,自動讀取仿真結(jié)果數(shù)據(jù)文件和參考正確數(shù)據(jù)文件,并將兩文件內(nèi)容進行比較,如果一致則表示仿真正確,如果不一致則表示仿真錯誤,仿真判斷結(jié)果信息被導(dǎo)出到驗證結(jié)果記錄文件,該文件中記錄了每個激勵文件對應(yīng)的驗證仿真結(jié)果;6.激勵文件自動讀取單元在接收到仿真數(shù)據(jù)自動采集模型的仿真結(jié)束信號后,開始讀取下一個激勵數(shù)據(jù)文件,開始下一個循環(huán);7.如此不斷循環(huán),直到所有的激勵數(shù)據(jù)文件都被讀入驗證平臺,每個激勵文件對應(yīng)的仿真結(jié)果都被寫入仿真結(jié)果記錄文件,此時驗證平臺停止工作。本發(fā)明將IP仿真驗證平臺和算法模型平臺統(tǒng)一到一個共同的驗證平臺,驗證人員在驗證過程中不需要更換平臺進行操作,整個驗證工作都在一個平臺上完成;激勵信息文件只需要有IP電路仿真的格式,另外通過一個格式轉(zhuǎn)化腳本程序自動完成激勵信息文件的IP電路仿真的格式向算法模型需要的格式轉(zhuǎn)換;可以在電路結(jié)構(gòu)中設(shè)置數(shù)據(jù)采集節(jié)點,將這些節(jié)點的仿真結(jié)果和算法模擬結(jié)果進行比較,用于定位問題的位置;各個節(jié)點的數(shù)據(jù)采集模型工作與否,決定于驗證平臺中的開關(guān);整個驗證流程通過平臺的運行腳本串聯(lián)起來,驗證人員的工作只有需要指定好激勵文件和節(jié)點采集開關(guān),剩余的數(shù)據(jù)采集、結(jié)果文件導(dǎo)出、參考文件搬移、結(jié)果文件比較、比較結(jié)果輸出工作都會自動化執(zhí)行;這樣大大減少了驗證人員的工作量,而且減少了手工工作出錯的風(fēng)險。以上所述僅為本發(fā)明的較佳實施用例而已,并非用于限定本發(fā)明的保護范圖。凡在本發(fā)明的精神和原則之內(nèi),所作的任何修改、等同替換以及改進等,均應(yīng)包含在本發(fā)明的保護范圍之內(nèi)。
權(quán)利要求
1.一種自動化IP驗證平臺,其特征在于包括激勵文件自動讀取單元、激勵文件格式轉(zhuǎn)換單元、待驗證IP電路、仿真數(shù)據(jù)自動采集模型、C語言模型單元、文件數(shù)據(jù)比較器; 所述激勵文件自動讀取單元,負責(zé)在驗證人員讓驗證平臺開始工作后,自動依次讀取激勵文件庫的激勵文件,后一個激勵文件在前一個激勵文件對應(yīng)的驗證仿真結(jié)束后自動被讀入;激勵文件被讀入后,激勵文件自動讀取單元自動將激勵數(shù)據(jù)文件送往所述C語言模型單元和所述激勵文件格式轉(zhuǎn)換單元;所述激勵文件格式轉(zhuǎn)換單元,負責(zé)將原來只能供C語言模型使用的激勵文件,按照IP 電路需要的時序格式進行轉(zhuǎn)化,使其變?yōu)殡娐房勺R別的帶有時序信息的激勵數(shù)據(jù),這樣就可以使驗證人員不需要同時維護兩套激勵文件;所述待驗證IP電路,是指待驗證的IP設(shè)計;所述仿真數(shù)據(jù)自動采集模型,負責(zé)采集所術(shù)待驗證IP電路接收激勵后的輸出數(shù)據(jù),并將數(shù)據(jù)以文件形式輸出為一個仿真結(jié)果數(shù)據(jù)文件;同時負責(zé)在檢測到所述待驗證IP電路在仿真結(jié)束后,向所述激勵文件自動讀取單元和所述文件數(shù)據(jù)比較器輸出仿真結(jié)束信號; 所述C語言模型單元,負責(zé)運算所述待驗證IP電路需要實現(xiàn)的算法,在接收到激勵文件后,使用C語言運算得到參考正確結(jié)果數(shù)據(jù),并將數(shù)據(jù)導(dǎo)出產(chǎn)生參考正確數(shù)據(jù)文件; 所述文件數(shù)據(jù)比較器,負責(zé)在接收到所述仿真數(shù)據(jù)自動采集模型的仿真結(jié)束信號后, 自動讀取仿真結(jié)果數(shù)據(jù)文件和參考正確數(shù)據(jù)文件,并將兩文件內(nèi)容進行比較,如果一致則表示仿真正確,如果不一致則表示仿真錯誤,仿真判斷結(jié)果信息最終被導(dǎo)出到驗證結(jié)果記錄文件,該文件中記錄了每個激勵文件對應(yīng)的驗證仿真結(jié)果。
全文摘要
本發(fā)明提供一種加入算法模型的自動化IP驗證平臺,包括激勵文件自動讀取單元、激勵文件格式轉(zhuǎn)換單元、待驗證IP電路、仿真數(shù)據(jù)自動采集模型、C語言模型單元、文件數(shù)據(jù)比較器。本發(fā)明將IP仿真驗證平臺和算法模型平臺統(tǒng)一到一個共同的驗證平臺,驗證人員在驗證過程中不需要更換平臺進行操作,整個驗證工作都在一個平臺上完成,大大減少了驗證人員的工作量,并且減少了人工工作帶來的出錯風(fēng)險。
文檔編號G06F17/50GK102609571SQ20121001611
公開日2012年7月25日 申請日期2012年1月18日 優(yōu)先權(quán)日2012年1月18日
發(fā)明者廖裕民 申請人:福州瑞芯微電子有限公司