專利名稱：在vlsi soc asic 芯片驗(yàn)證中狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定的方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種芯片驗(yàn)證過程中狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定的方法，具體的說是一種在VLSI SOC ASIC芯片驗(yàn)證中，為有效驗(yàn)證芯片內(nèi)動(dòng)態(tài)表格是否正確更新和維護(hù)而提出的狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定方法。(VLSISOC ASIC超大規(guī)模專用集成電路芯片。)背景技術(shù)目前，網(wǎng)絡(luò)通信設(shè)備——L2/L3路由器、交換機(jī)面向的都是完全開放的OSI模型。在真實(shí)網(wǎng)絡(luò)環(huán)境里，發(fā)往芯片模型的數(shù)據(jù)包不僅是隨即無窮的，而且是實(shí)時(shí)和動(dòng)態(tài)的。因此L2/L3路由器和交換機(jī)都具有多重不受輸入限制的端口。這些不受限制的輸入模式將動(dòng)態(tài)地和同時(shí)地改變L2/L3路由器、交換機(jī)地址表格(舊地址的衰老和新地址的學(xué)習(xí)，地址表格是一個(gè)動(dòng)態(tài)的表格)。而上述這些改變將直接影響了數(shù)據(jù)包在路由器、交換機(jī)中的有效判定。為了充分驗(yàn)證L2/L3路由器、交換機(jī)SOC ASIC在路由交換功能判定時(shí)的正確性，提出一種針對(duì)動(dòng)態(tài)表格動(dòng)態(tài)更新時(shí)的狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換的判定方法是不可避免的。然而目前還沒有出現(xiàn)解決該問題的有效方法，所帶來的直接后果就是L2/L3路由器、交換機(jī)SOC ASIC在真實(shí)網(wǎng)絡(luò)環(huán)境下在多作業(yè)同時(shí)操作下將很有可能無法進(jìn)行正確的邏輯判斷，從而使得整個(gè)L2/L3路由器、交換機(jī)產(chǎn)品失效。

發(fā)明內(nèi)容
本發(fā)明旨在為充分驗(yàn)證L2/L3路由器、交換機(jī)SOC ASIC芯片在地址表格被動(dòng)態(tài)更新時(shí)仍然能夠作出有效判定，而提出的一種狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定方法。
為解決所述技術(shù)問題，本發(fā)明采用的方法步驟為
a、針對(duì)芯片內(nèi)所有動(dòng)態(tài)地址表格建立相應(yīng)的基于動(dòng)態(tài)狀態(tài)機(jī)轉(zhuǎn)換判定的模擬檢查器，該模擬器將完成和芯片內(nèi)所有動(dòng)態(tài)地址表格相同的對(duì)數(shù)據(jù)包的邏輯判斷功能。
b、利用建立的模擬檢查器進(jìn)行動(dòng)態(tài)地列隊(duì)，儲(chǔ)存正在進(jìn)行的所有作業(yè)，并在一個(gè)正在運(yùn)行的模式下驗(yàn)證芯片邏輯設(shè)計(jì)。
上述a項(xiàng)所述模擬檢查器的工作流程是a)針對(duì)所有同時(shí)運(yùn)行的作業(yè)建立相應(yīng)的隊(duì)列；b)針對(duì)所有隊(duì)列建立敏感列表進(jìn)行跟蹤；c)針對(duì)相互干擾的隊(duì)列利用敏感列表記錄并將這些隊(duì)列組成一個(gè)CIA群體；d)激發(fā)計(jì)算器計(jì)算CIA群體里所有隊(duì)列的各種組合結(jié)果，并與RTL結(jié)果相比較；e)返回比較結(jié)果更新敏感列表。
上述b項(xiàng)具體過程是當(dāng)不能預(yù)測(cè)的大量隨機(jī)作業(yè)進(jìn)入芯片后，模擬器同時(shí)啟動(dòng)，對(duì)各種作業(yè)進(jìn)行動(dòng)態(tài)處理，最后用模擬器處理的結(jié)果和芯片實(shí)際處理結(jié)果相比較，如果結(jié)果相同，說明被驗(yàn)證的芯片邏輯判斷正確；如果不同，說明被驗(yàn)證的芯片邏輯判斷有誤，需要補(bǔ)充修改芯片設(shè)計(jì)。
本發(fā)明的有益效果表現(xiàn)在本發(fā)明針對(duì)router和switch，在實(shí)時(shí)、動(dòng)態(tài)、復(fù)雜、多變的網(wǎng)絡(luò)環(huán)境里，當(dāng)動(dòng)態(tài)表格在進(jìn)行動(dòng)態(tài)更新時(shí)仍然能夠作出有效、線速、準(zhǔn)確的判定。其中包括網(wǎng)絡(luò)數(shù)據(jù)包能得以正確轉(zhuǎn)發(fā)、正確丟棄、準(zhǔn)確地送忘往CPU；動(dòng)態(tài)地址表能得以正確學(xué)習(xí)、正確老化等等。


圖1為本發(fā)明模擬檢查器的工作流程框圖
具體實(shí)施例方式本發(fā)明針對(duì)芯片內(nèi)所有動(dòng)態(tài)地址表格建立相應(yīng)的基于動(dòng)態(tài)狀態(tài)機(jī)轉(zhuǎn)換判定的模擬檢查器，該模擬器將完成和芯片內(nèi)所有動(dòng)態(tài)地址表格相同的對(duì)數(shù)據(jù)包的邏輯判斷功能；所述模擬檢查器的具體工作步驟是a)所有同時(shí)運(yùn)行的作業(yè)，根據(jù)動(dòng)態(tài)的狀態(tài)被列為一個(gè)隊(duì)列。每個(gè)正在列隊(duì)運(yùn)行的作業(yè)，根據(jù)自身的值，分配時(shí)間戳和計(jì)數(shù)器并將作業(yè)加到隊(duì)列的入口。
b)建立一份敏感的列表是用來跟蹤隊(duì)列入口的時(shí)間戳。如果兩個(gè)或更多的隊(duì)列入口同時(shí)出現(xiàn)干擾排列，這些入口會(huì)被組成一個(gè)CIA群體，CIA的值在一開始就是可配置的，它也可在全局范圍配置。以這種方式構(gòu)成的一條反饋環(huán)，就是任何已知的敏感作業(yè)被放入到敏感表，作為以后更深層驗(yàn)證檢查。
c)一旦一組CIA已滿，它引發(fā)一個(gè)結(jié)果比較器去計(jì)算可能結(jié)果，而這些結(jié)果是根據(jù)所有組合列隊(duì)的順序歸為一隊(duì)的CIA群的結(jié)果。計(jì)算的結(jié)果相互獨(dú)立且它們之一必須與RTL結(jié)果一樣。
d)檢查的結(jié)果被反饋到敏感列表(在b中已討論)更新敏感列表。假如在一定長(zhǎng)度的時(shí)間內(nèi)，c程序未訪問某個(gè)敏感實(shí)體，則將其刪出敏感列表。這個(gè)長(zhǎng)度是可編輯的。整個(gè)過程是高速的(a-＞b-＞c-＞d)運(yùn)行的，計(jì)算僅花了CPU的時(shí)間而不花費(fèi)模擬時(shí)間?！蹦M檢查器建立后，利用建立的模擬檢查器進(jìn)行動(dòng)態(tài)地列隊(duì)，儲(chǔ)存正在進(jìn)行的所有作業(yè)，并在一個(gè)正在運(yùn)行的模式下驗(yàn)證芯片邏輯設(shè)計(jì)。
具體過程是當(dāng)不能預(yù)測(cè)的大量隨機(jī)作業(yè)進(jìn)入芯片后，模擬器同時(shí)啟動(dòng)，對(duì)各種作業(yè)進(jìn)行動(dòng)態(tài)處理，最后用模擬器處理的結(jié)果和芯片實(shí)際處理結(jié)果相比較，如果結(jié)果相同，說明被驗(yàn)證的芯片邏輯判斷正確；如果不同，說明被驗(yàn)證的芯片邏輯判斷有誤，需要補(bǔ)充修改芯片設(shè)計(jì)。
權(quán)利要求
1.在VLSI SOC ASIC芯片驗(yàn)證中狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定的方法，其特征在于采用的步驟為a、針對(duì)芯片內(nèi)所有動(dòng)態(tài)地址表格建立相應(yīng)的基于動(dòng)態(tài)狀態(tài)機(jī)轉(zhuǎn)換判定的模擬檢查器，該模擬器將完成和芯片內(nèi)所有動(dòng)態(tài)地址表格相同的對(duì)數(shù)據(jù)包的邏輯判斷功能。b、利用建立的模擬檢查器進(jìn)行動(dòng)態(tài)地列隊(duì)，儲(chǔ)存正在進(jìn)行的所有作業(yè)，并在一個(gè)正在運(yùn)行的模式下驗(yàn)證芯片邏輯設(shè)計(jì)。
2.根據(jù)權(quán)利要求1所述的在VLS I SOC ASIC芯片驗(yàn)證中狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定的方法，其特征在于上述a項(xiàng)所述模擬檢查器的工作流程是a)針對(duì)所有同時(shí)運(yùn)行的作業(yè)建立相應(yīng)的隊(duì)列；b)針對(duì)所有隊(duì)列建立敏感列表進(jìn)行跟蹤；c)針對(duì)相互干擾的隊(duì)列利用敏感列表記錄并將這些隊(duì)列組成一個(gè)CIA群體；d)激發(fā)計(jì)算器計(jì)算CIA群體里所有隊(duì)列的各種組合結(jié)果，并與RTL結(jié)果相比較；e)返回比較結(jié)果更新敏感列表。
3.根據(jù)權(quán)利要求1所述的在VLSI SOC ASIC芯片驗(yàn)證中狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定的方法，其特征在于上述b項(xiàng)具體過程是當(dāng)不能預(yù)測(cè)的大量隨機(jī)作業(yè)進(jìn)入芯片后，模擬器同時(shí)啟動(dòng)，對(duì)各種作業(yè)進(jìn)行動(dòng)態(tài)處理，最后用模擬器處理的結(jié)果和芯片實(shí)際處理結(jié)果相比較，如果結(jié)果相同，說明被驗(yàn)證的芯片邏輯判斷正確；如果不同，說明被驗(yàn)證的芯片邏輯判斷有誤，需要補(bǔ)充修改芯片設(shè)計(jì)。
全文摘要
本發(fā)明旨在為充分驗(yàn)證L2/L3路由器、交換機(jī)SOC ASIC芯片在地址表格被動(dòng)態(tài)更新時(shí)仍然能夠作出有效判定，而提出的一種在VLSISOC ASIC芯片驗(yàn)證狀態(tài)機(jī)動(dòng)態(tài)轉(zhuǎn)換判定方法。本發(fā)明采用的步驟為針對(duì)芯片內(nèi)所有動(dòng)態(tài)地址表格建立相應(yīng)的基于動(dòng)態(tài)狀態(tài)機(jī)轉(zhuǎn)換判定的模擬檢查器；利用建立的模擬檢查器進(jìn)行動(dòng)態(tài)地列隊(duì)，儲(chǔ)存正在進(jìn)行的所有作業(yè)，并在一個(gè)正在運(yùn)行的模式下驗(yàn)證芯片邏輯設(shè)計(jì)。本發(fā)明針對(duì)router和switch，在實(shí)時(shí)、動(dòng)態(tài)、復(fù)雜、多變的網(wǎng)絡(luò)環(huán)境里，當(dāng)動(dòng)態(tài)表格在進(jìn)行動(dòng)態(tài)更新時(shí)仍然能夠作出有效、線速、準(zhǔn)確的判定。
文檔編號(hào)G06F11/36GK1625122SQ200310111069
公開日2005年6月8日 申請(qǐng)日期2003年12月2日 優(yōu)先權(quán)日2003年12月2日
發(fā)明者陳卓, 趙承志, 李為民 申請(qǐng)人:四川南山之橋微電子有限公司