專利名稱：一種芯片驗證的方法及系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及計算機(jī)領(lǐng)域，特別涉及一種芯片驗證的方法及系統(tǒng)。
背景技術(shù)：
現(xiàn)有芯片驗證過程中，需要用戶設(shè)置字符標(biāo)識、字長，然后在設(shè)置的字符標(biāo)識和字長對應(yīng)的定標(biāo)組中選擇需要的定標(biāo)，通過轉(zhuǎn)換算法或轉(zhuǎn)換公式手工將輸入的定點數(shù)(或浮點數(shù))轉(zhuǎn)換出相應(yīng)的浮點數(shù)(或定點數(shù))；在轉(zhuǎn)換后，如果判斷該轉(zhuǎn)換的數(shù)精度不符合要求，則需要用戶重新選擇定標(biāo)，然后通過轉(zhuǎn)換算法或公式進(jìn)行手工轉(zhuǎn)換，進(jìn)一步判斷轉(zhuǎn)換的數(shù)是否符合精度要求，直到轉(zhuǎn)換后的數(shù)據(jù)滿足精度要求；現(xiàn)有芯片驗證時，用戶可能需要多次重復(fù)進(jìn)行定浮點數(shù)的手工轉(zhuǎn)換才能得到符合要求的數(shù)據(jù)，當(dāng)需要進(jìn)行大量的定浮點數(shù)轉(zhuǎn)換時，手工轉(zhuǎn)換非常繁瑣，而且轉(zhuǎn)換效率較低以及轉(zhuǎn)換誤差較大；另外，由于轉(zhuǎn)換后需要把轉(zhuǎn)換結(jié)果手工輸入到芯片驗證系統(tǒng)，而且定浮點的轉(zhuǎn)換在硬件運(yùn)算和算法運(yùn)算中互為逆過程，所以需要手工來回的輸入轉(zhuǎn)換結(jié)果，因此存在定浮點轉(zhuǎn)換和驗證運(yùn)算嚴(yán)重脫節(jié)，從而導(dǎo)致系統(tǒng)工作效率較低的問題。

發(fā)明內(nèi)容
本發(fā)明提供一種芯片驗證的方法及系統(tǒng)，用以解決現(xiàn)有技術(shù)中由于手工操作而導(dǎo)致定浮點數(shù)轉(zhuǎn)換精度、轉(zhuǎn)換效率較低以及芯片驗證效率較低的問題。
本發(fā)明提供如下技術(shù)方案一種芯片驗證的方法，包括步驟通過操作接口向轉(zhuǎn)換裝置輸入定點數(shù)或者浮點數(shù)；所述轉(zhuǎn)換裝置根據(jù)設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；將定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理；將所述芯片運(yùn)算的結(jié)果和所述算法運(yùn)算的結(jié)果進(jìn)行比較，當(dāng)兩者一致時確定所述芯片的硬件運(yùn)算和軟件運(yùn)算正確。
所述轉(zhuǎn)換裝置根據(jù)所述字符標(biāo)識、字長和用戶在對應(yīng)定標(biāo)組中選擇的一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換，當(dāng)轉(zhuǎn)換后得到的數(shù)不滿足精度要求時，所述轉(zhuǎn)換裝置根據(jù)用戶重新選擇的定標(biāo)對所述輸入的數(shù)重新進(jìn)行轉(zhuǎn)換。
較佳的，所述轉(zhuǎn)換裝置根據(jù)所述字符標(biāo)識、字長和對應(yīng)定標(biāo)組中的每一個定標(biāo)分別進(jìn)行轉(zhuǎn)換，并輸出轉(zhuǎn)換后得到的數(shù)組中精度最高的數(shù)。
所述定標(biāo)組根據(jù)所述字符標(biāo)識和字長確定。
向轉(zhuǎn)換裝置輸入浮點數(shù)時，所述轉(zhuǎn)換裝置將該浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)后，進(jìn)一步將所述定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)，并將該浮點數(shù)輸出給所述軟件驗證算法。
一種芯片驗證系統(tǒng)，包括操作接口，用于提供用戶與轉(zhuǎn)換模塊之間的通信接口；轉(zhuǎn)換模塊，用于根據(jù)用戶設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；以及將定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理；需要驗證的芯片，用于將定點數(shù)作為輸入?yún)?shù)以進(jìn)行相應(yīng)的硬件運(yùn)算處理；軟件驗證模塊，用于將浮點數(shù)作為輸入?yún)?shù)以進(jìn)行相應(yīng)的算法運(yùn)算處理；比較模塊，用于將芯片運(yùn)算結(jié)果和算法運(yùn)算結(jié)果進(jìn)行比較；第二顯示模塊，用于根據(jù)所述比較模塊的比較結(jié)果相應(yīng)顯示所述芯片的硬件運(yùn)算和軟件運(yùn)算的結(jié)果。
所述系統(tǒng)還包括
第一顯示模塊，用于顯示所述轉(zhuǎn)換模塊轉(zhuǎn)換出的定點數(shù)或浮點數(shù)；所述轉(zhuǎn)換模塊包括接收單元，用于通過所述操作接口接收用戶設(shè)置的符號標(biāo)識、字長和定標(biāo)，以及用戶輸入的定點數(shù)或浮點數(shù)；轉(zhuǎn)換單元，用于根據(jù)設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；輸出單元，用于將定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理。
所述轉(zhuǎn)換單元根據(jù)所述字符標(biāo)識、字長和用戶在對應(yīng)定標(biāo)組中選擇的一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換得到相應(yīng)的數(shù)。
較佳的，所述轉(zhuǎn)換單元根據(jù)所述字符標(biāo)識、字長和對應(yīng)定標(biāo)組中的每一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換得到相應(yīng)的數(shù)組。
所述轉(zhuǎn)換模塊還包括選擇單元，用于在轉(zhuǎn)換后得到的數(shù)組中選擇精度最高的數(shù)。
所述接收單元接收到浮點數(shù)時，所述轉(zhuǎn)換單元將該浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)后，進(jìn)一步將所述定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)，所述輸出單元將該浮點數(shù)輸出給所述軟件驗證模塊。
本發(fā)明有益效果如下本發(fā)明芯片驗證過程中，用戶可以靈活設(shè)置符號標(biāo)識、字長和定標(biāo)，進(jìn)一步根據(jù)設(shè)置的符號標(biāo)識、字長和定標(biāo)以及用戶輸入的定點數(shù)或浮點數(shù)進(jìn)行定浮點數(shù)的自動轉(zhuǎn)換，減少了定浮點數(shù)之間轉(zhuǎn)換的工作量；另外，本發(fā)明中轉(zhuǎn)換后得到的定點數(shù)或浮點數(shù)自動輸入到芯片驗證系統(tǒng)，提高了芯片驗證系統(tǒng)的工作效率；本發(fā)明針對使用浮點數(shù)進(jìn)行算法運(yùn)算和使用定點數(shù)進(jìn)行硬件運(yùn)算的特點，靈活取數(shù)，提高了比對精度；而且當(dāng)輸入浮點數(shù)時，將該浮點數(shù)轉(zhuǎn)換出定點數(shù)后，進(jìn)一步將該定點數(shù)轉(zhuǎn)換出浮點數(shù)作為算法運(yùn)算的輸入?yún)?shù)，該浮點數(shù)更為精確，因此解決了由于用戶輸入的浮點數(shù)不當(dāng)以及由于字長、定標(biāo)的限制而造成比對精度降低的問題；采用本發(fā)明提高了芯片的驗證效率和驗證精度。


圖1為本發(fā)明實施例中芯片驗證的主要實現(xiàn)流程圖；圖2為本發(fā)明實施例中芯片驗證系統(tǒng)結(jié)構(gòu)示意圖；圖3為本發(fā)明實施例中轉(zhuǎn)換模塊結(jié)構(gòu)示意圖；圖4為本發(fā)明實施例中用戶輸入定點數(shù)時芯片驗證的實現(xiàn)流程圖；圖5為本發(fā)明實施例中用戶輸入浮點數(shù)時芯片驗證的實現(xiàn)流程圖。
具體實施例方式
本實施例中用戶設(shè)置字符標(biāo)識、字長和定標(biāo)后通過操作接口將設(shè)置的參數(shù)和定點數(shù)或浮點數(shù)輸入到轉(zhuǎn)換裝置，所述轉(zhuǎn)換裝置根據(jù)所述字符標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出相應(yīng)的定點數(shù)，然后將轉(zhuǎn)換后得到的定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理，當(dāng)芯片運(yùn)算結(jié)果和算法運(yùn)算結(jié)果一致時確定該芯片的硬件運(yùn)算和軟件運(yùn)算正確。
如圖1所示，本實施例中芯片驗證的主要實現(xiàn)流程如下步驟100、通過操作接口向轉(zhuǎn)換模塊輸入定點數(shù)或者浮點數(shù)。
步驟101、轉(zhuǎn)換模塊根據(jù)設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)。
步驟102、轉(zhuǎn)換模塊將定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法。
步驟103、需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理。
步驟104、將所述芯片運(yùn)算的結(jié)果所述算法運(yùn)算結(jié)果進(jìn)行比較，當(dāng)兩者一致時確定所述芯片的硬件運(yùn)算和軟件運(yùn)算正確。
相應(yīng)的，如圖2所示，本實施例中一種芯片驗證系統(tǒng)包括
操作接口20，用于提供用戶和轉(zhuǎn)換模塊21之間的通信接口，用戶將設(shè)置的參數(shù)和需要的定點數(shù)或浮點數(shù)通過該操作接口20輸入到轉(zhuǎn)換模塊21；用戶設(shè)置的參數(shù)包括符號標(biāo)識、字長和定標(biāo)等，所述符號標(biāo)識是指有符號位或者無符號位；所述字長是指在芯片驗證系統(tǒng)中規(guī)定的數(shù)的表示范圍，一般可以設(shè)置為8位、16位、24位或者32位等；所述定標(biāo)是用戶從所述符號標(biāo)識和字長對應(yīng)的定標(biāo)組中選擇的需要的定標(biāo)，所述定標(biāo)組由所述字符標(biāo)識和字長確定，例如對于字長是16位的有符號數(shù)，定標(biāo)組中包括定標(biāo)如下S0.15，S1.14，S2.13，……，S15.0，其中S2.13表示為在芯片中，用2位表示整數(shù)，用13位表示小數(shù)；第一位表示符號位，符號位是0時，表示正數(shù)，符號位是1時，表示負(fù)數(shù)；對于字長是16位的無符號數(shù)，定標(biāo)組中包括定標(biāo)如下S0.16，S1.15，S2.14，……，S16.0，其中S2.14表示為在芯片中，用2位表示整數(shù)，用14位表示小數(shù)，沒有符號位。
轉(zhuǎn)換模塊21，用于根據(jù)用戶設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；以及將轉(zhuǎn)換后得到的定點數(shù)和浮點數(shù)輸出到第一顯示模塊22，并將定點數(shù)和浮點數(shù)對應(yīng)輸出到需要驗證的芯片23和軟件驗證模塊24。轉(zhuǎn)換模塊21可以根據(jù)用戶設(shè)置的字符標(biāo)識、字長和用戶在對應(yīng)定標(biāo)組中選擇的一個定標(biāo)對輸入的定點數(shù)或浮點數(shù)進(jìn)行轉(zhuǎn)換，然后將轉(zhuǎn)換后得到的浮點數(shù)或定點數(shù)輸出給第一顯示模塊22；當(dāng)用戶判斷轉(zhuǎn)換后得到的數(shù)不滿足精度要求時，通過操作接口20將重新選擇的定標(biāo)輸入給轉(zhuǎn)換模塊21，所述轉(zhuǎn)換模塊21根據(jù)該定標(biāo)對用戶原來輸入的定點數(shù)或浮點數(shù)重新進(jìn)行轉(zhuǎn)換，并將轉(zhuǎn)換后得到的數(shù)輸出給第一顯示模塊22；為了減少人為判斷以更準(zhǔn)確的得到滿足精度的數(shù)據(jù)，所述轉(zhuǎn)換模塊21也可以根據(jù)用戶設(shè)置的字符標(biāo)識、字長以及對應(yīng)定標(biāo)組中的所有定標(biāo)對輸入的定點數(shù)或浮點數(shù)分別進(jìn)行轉(zhuǎn)換，然后輸出轉(zhuǎn)換后得到的數(shù)組中精度最高的數(shù)。
如圖3所示，所述轉(zhuǎn)換模塊21包括接收單元210，用于通過操作接口20接收用戶設(shè)置的參數(shù)以及輸入的定點數(shù)或浮點數(shù)；轉(zhuǎn)換單元211，用于根據(jù)所述參數(shù)將輸入的定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出相應(yīng)的定點數(shù)；可以根據(jù)所述字符標(biāo)識、字長和用戶在對應(yīng)定標(biāo)組中選擇的一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換得到一個相應(yīng)的數(shù)；也可以根據(jù)所述字符標(biāo)識、字長和對應(yīng)定標(biāo)組中的每一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換得到一個相應(yīng)的數(shù)組；選擇單元212，用于在轉(zhuǎn)換后得到的數(shù)組中選擇精度最高的數(shù)據(jù)；輸出單元213，用于將所述轉(zhuǎn)換單元211轉(zhuǎn)換出的定點數(shù)和浮點數(shù)輸出到需要驗證的芯片23和軟件驗證模塊24，以及將其輸出到第一顯示模塊22。當(dāng)接收單元210接收到浮點數(shù)時，轉(zhuǎn)換單元211將該浮點數(shù)轉(zhuǎn)換出定點數(shù)后將該定點數(shù)輸出到第一顯示模塊22和需要驗證的芯片23，然后將該定點數(shù)再轉(zhuǎn)換出相應(yīng)的浮點數(shù)，并將該浮點數(shù)輸出到軟件驗證模塊24。
第一顯示模塊22，用于顯示所述轉(zhuǎn)換模塊21轉(zhuǎn)換出的定點數(shù)或浮點數(shù)；即如果輸入是定點數(shù)，則顯示轉(zhuǎn)換后得到的浮點數(shù)；如果輸入是浮點數(shù)，則顯示轉(zhuǎn)換后得到的定點數(shù)。
需要驗證的芯片23，用于將所述轉(zhuǎn)換模塊21輸出的定點數(shù)作為硬件運(yùn)算的寄存器參數(shù)，進(jìn)行相應(yīng)的硬件運(yùn)算處理，并將運(yùn)算結(jié)果輸出給比較模塊25。
軟件驗證模塊24，用于將所述轉(zhuǎn)換模塊21輸出的浮點數(shù)作為算法運(yùn)算的參數(shù)，進(jìn)行相應(yīng)的算法運(yùn)算處理，并將運(yùn)算結(jié)果輸出給比較模塊25。
比較模塊25，用于將硬件運(yùn)算結(jié)果和算法運(yùn)算結(jié)果進(jìn)行比較，并將比較結(jié)果輸出給第二顯示模塊26。
第二顯示模塊26，用于根據(jù)所述比較模塊25的比較結(jié)果顯示芯片的硬件運(yùn)算和軟件運(yùn)算的結(jié)果；如果硬件運(yùn)算結(jié)果和算法運(yùn)算結(jié)果一致，則顯示“正確”，表明芯片的硬件運(yùn)算和軟件運(yùn)算正確；否則，顯示“錯誤”，表明芯片的硬件運(yùn)算和/或軟件運(yùn)算出現(xiàn)問題，此時需要測試人員查證問題發(fā)生原因。
下面以用戶選擇定標(biāo)組中的定標(biāo)為例對本實施例的芯片驗證的實現(xiàn)過程作詳細(xì)說明。
如圖4所示，本實施例中用戶輸入定點數(shù)時實現(xiàn)芯片驗證的過程如下
步驟400、用戶將設(shè)置符號標(biāo)識、字長和定標(biāo)以及需要的定點數(shù)輸入到轉(zhuǎn)換模塊。
步驟401、將該定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)。
步驟402、顯示轉(zhuǎn)換后得到的浮點數(shù)，并將該浮點數(shù)輸出到軟件驗證模塊以及將接收到的定點數(shù)輸出到需要驗證的芯片。
步驟403、需要驗證的芯片將所述定點數(shù)作為硬件運(yùn)算的寄存器參數(shù)，進(jìn)行相應(yīng)的硬件運(yùn)算并輸出結(jié)果；軟件驗證模塊將所述浮點數(shù)作為算法運(yùn)算的輸入?yún)?shù)，進(jìn)行相應(yīng)的硬件運(yùn)算并輸出結(jié)果。
步驟404、將硬件運(yùn)算結(jié)果與算法運(yùn)算結(jié)果進(jìn)行比較。
步驟405、根據(jù)比較結(jié)果顯示芯片硬件和軟件運(yùn)算的結(jié)果。
如圖5所示，本實施例中用戶輸入浮點數(shù)時實現(xiàn)芯片驗證的過程如下步驟500、用戶將設(shè)置符號標(biāo)識、字長和定標(biāo)以及需要的浮點數(shù)輸入到轉(zhuǎn)換模塊。
步驟501、將該浮點數(shù)轉(zhuǎn)換出相應(yīng)的定點數(shù)。
步驟502、顯示轉(zhuǎn)換后得到的定點數(shù)，并將該定點數(shù)輸出到需要驗證的芯片。
步驟503、根據(jù)用戶設(shè)置的字符標(biāo)識、字長和定標(biāo)將所述定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)。
步驟504、顯示轉(zhuǎn)換后得到的浮點數(shù)，并將該浮點數(shù)輸出到軟件驗證模塊。
步驟505、需要驗證的芯片將接收到的定點數(shù)作為硬件運(yùn)算的寄存器參數(shù)，進(jìn)行相應(yīng)的硬件運(yùn)算并輸出結(jié)果；軟件驗證模塊將接收到的浮點數(shù)作為算法運(yùn)算的輸入?yún)?shù)，進(jìn)行相應(yīng)的硬件運(yùn)算并輸出結(jié)果。
步驟506、將硬件運(yùn)算的結(jié)果與算法運(yùn)算的結(jié)果進(jìn)行比較。
步驟507、根據(jù)比較結(jié)果顯示芯片硬件和軟件運(yùn)算的結(jié)果。
本實施例中轉(zhuǎn)換模塊根據(jù)用戶設(shè)置的字符標(biāo)識、字長以及對應(yīng)定標(biāo)組中的每一個定標(biāo)對用戶輸入的定點數(shù)或浮點數(shù)進(jìn)行轉(zhuǎn)換，然后將轉(zhuǎn)換后得到的數(shù)組中精度較高的數(shù)輸出以進(jìn)行相應(yīng)的運(yùn)算處理，采用這種處理方式可以得到精度較高的數(shù)，因此提高了芯片驗證系統(tǒng)的轉(zhuǎn)換精度，其轉(zhuǎn)換的實現(xiàn)過程與上述過程同理，不再贅述。
采用本發(fā)明可以簡化芯片驗證過程中定浮點數(shù)的轉(zhuǎn)換過程，提高了硬件運(yùn)算和算法運(yùn)算的驗證精度，另外，用戶可以直觀地得出輸入的浮點數(shù)與轉(zhuǎn)換后得到的浮點數(shù)之間的精度差別，從而為用戶提供了參考數(shù)據(jù)，有利于提高工作效率。
顯然，本領(lǐng)域的技術(shù)人員可以對本發(fā)明進(jìn)行各種改動和變型而不脫離本發(fā)明的精神和范圍。這樣，倘若對本發(fā)明的這些修改和變型屬于本發(fā)明權(quán)利要求及其等同技術(shù)的范圍之內(nèi)，則本發(fā)明也意圖包含這些改動和變型在內(nèi)。
權(quán)利要求
1.一種芯片驗證的方法，其特征在于，包括步驟通過操作接口向轉(zhuǎn)換裝置輸入定點數(shù)或者浮點數(shù)；所述轉(zhuǎn)換裝置根據(jù)設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；將定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理；將所述芯片運(yùn)算的結(jié)果和所述算法運(yùn)算的結(jié)果進(jìn)行比較，當(dāng)兩者一致時確定所述芯片的硬件運(yùn)算和軟件運(yùn)算正確。
2.如權(quán)利要求1所述的方法，其特征在于，所述轉(zhuǎn)換裝置根據(jù)所述字符標(biāo)識、字長和用戶在對應(yīng)定標(biāo)組中選擇的一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換，當(dāng)轉(zhuǎn)換后得到的數(shù)不滿足精度要求時，所述轉(zhuǎn)換裝置根據(jù)用戶重新選擇的定標(biāo)對所述輸入的數(shù)重新進(jìn)行轉(zhuǎn)換。
3.如權(quán)利要求1所述的方法，其特征在于，所述轉(zhuǎn)換裝置根據(jù)所述字符標(biāo)識、字長和對應(yīng)定標(biāo)組中的每一個定標(biāo)分別進(jìn)行轉(zhuǎn)換，并輸出轉(zhuǎn)換后得到的數(shù)組中精度最高的數(shù)。
4.如權(quán)利要求2或3所述的方法，其特征在于，所述定標(biāo)組根據(jù)所述字符標(biāo)識和字長確定。
5.如權(quán)利要求1、2或3所述的方法，其特征在于，向轉(zhuǎn)換裝置輸入浮點數(shù)時，所述轉(zhuǎn)換裝置將該浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)后，進(jìn)一步將所述定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)，并將該浮點數(shù)輸出給所述軟件驗證算法。
6.一種芯片驗證系統(tǒng)，其特征在于，包括操作接口，用于提供用戶與轉(zhuǎn)換模塊之間的通信接口；轉(zhuǎn)換模塊，用于根據(jù)用戶設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；以及將定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理；需要驗證的芯片，用于將定點數(shù)作為輸入?yún)?shù)以進(jìn)行相應(yīng)的硬件運(yùn)算處理；軟件驗證模塊，用于將浮點數(shù)作為輸入?yún)?shù)以進(jìn)行相應(yīng)的算法運(yùn)算處理；比較模塊，用于將芯片運(yùn)算結(jié)果和算法運(yùn)算結(jié)果進(jìn)行比較；第二顯示模塊，用于根據(jù)所述比較模塊的比較結(jié)果相應(yīng)顯示所述芯片的硬件運(yùn)算和軟件運(yùn)算的結(jié)果。
7.如權(quán)利要求6所述的芯片驗證系統(tǒng)，其特征在于，所述系統(tǒng)還包括第一顯示模塊，用于顯示所述轉(zhuǎn)換模塊轉(zhuǎn)換出的定點數(shù)或浮點數(shù)。
8.如權(quán)利要求6或7所述的芯片驗證系統(tǒng)，其特征在于，所述轉(zhuǎn)換模塊包括接收單元，用于通過所述操作接口接收用戶設(shè)置的符號標(biāo)識、字長和定標(biāo)，以及用戶輸入的定點數(shù)或浮點數(shù)；轉(zhuǎn)換單元，用于根據(jù)設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；輸出單元，用于將定點數(shù)和浮點數(shù)對應(yīng)輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理。
9.如權(quán)利要求8所述的芯片驗證系統(tǒng)，其特征在于，所述轉(zhuǎn)換單元根據(jù)所述字符標(biāo)識、字長和用戶在對應(yīng)定標(biāo)組中選擇的一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換得到相應(yīng)的數(shù)。
10.如權(quán)利要求8所述的芯片驗證系統(tǒng)，其特征在于，所述轉(zhuǎn)換單元根據(jù)所述字符標(biāo)識、字長和對應(yīng)定標(biāo)組中的每一個定標(biāo)對輸入的數(shù)進(jìn)行轉(zhuǎn)換得到相應(yīng)的數(shù)組。
11.如權(quán)利要求10所述的芯片驗證系統(tǒng)，其特征在于，所述轉(zhuǎn)換模塊還包括選擇單元，用于在轉(zhuǎn)換后得到的數(shù)組中選擇精度最高的數(shù)。
12.如權(quán)利要求8所述的芯片驗證系統(tǒng)，其特征在于，所述接收單元接收到浮點數(shù)時，所述轉(zhuǎn)換單元將該浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)后，進(jìn)一步將所述定點數(shù)轉(zhuǎn)換出相應(yīng)的浮點數(shù)，所述輸出單元將該浮點數(shù)輸出給所述軟件驗證模塊。
全文摘要
本發(fā)明公開了一種芯片驗證的方法及系統(tǒng)，用以解決現(xiàn)有技術(shù)中由于手工操作而導(dǎo)致定浮點數(shù)轉(zhuǎn)換精度、轉(zhuǎn)換效率較低以及芯片驗證效率較低的問題；該方法包括通過操作接口向轉(zhuǎn)換裝置輸入定點數(shù)或者浮點數(shù)；所述轉(zhuǎn)換裝置根據(jù)設(shè)置的符號標(biāo)識、字長和定標(biāo)將輸入的定點數(shù)轉(zhuǎn)換出對應(yīng)的浮點數(shù)，或者將輸入的浮點數(shù)轉(zhuǎn)換出對應(yīng)的定點數(shù)；將定點數(shù)和浮點數(shù)分別輸出給需要驗證的芯片和軟件驗證算法進(jìn)行相應(yīng)的運(yùn)算處理；將所述芯片運(yùn)算的結(jié)果和所述算法運(yùn)算的結(jié)果進(jìn)行比較，當(dāng)兩者一致時確定所述芯片的硬件運(yùn)算和軟件運(yùn)算正確。采用本發(fā)明提高了芯片驗證效率和驗證精度。
文檔編號G06F11/22GK1949184SQ200610114650
公開日2007年4月18日 申請日期2006年11月20日 優(yōu)先權(quán)日2006年11月20日
發(fā)明者馮備戰(zhàn), 游明琦, 艾國 申請人:北京中星微電子有限公司