【摘要】： Cache一致性協(xié)議作為CC-NUMA(Cache Coherency Non-Uniform Memory Access)系統(tǒng)的硬件基礎(chǔ),在系統(tǒng)設(shè)計過程中占有舉足輕重的地位。大規(guī)模的CC-NUMA系統(tǒng)往往采用復(fù)雜的多層Cache一致性協(xié)議,通常難以對這種復(fù)雜協(xié)議進行完全形式化驗證,因此軟件模擬驗證仍然在大規(guī)模CC-NUMA系統(tǒng)的Cache一致性協(xié)議驗證中扮演著重要角色。 本文針對某型CC-NUMA系統(tǒng),重點研究了對其Cache一致性協(xié)議進行模擬驗證的問題。設(shè)計了一套覆蓋率驅(qū)動的高效Cache一致性協(xié)議模擬驗證方法,并使用SystemC實現(xiàn)了驗證系統(tǒng)。本文的主要工作和貢獻如下: 1.在分析目標系統(tǒng)協(xié)議表的基礎(chǔ)上設(shè)計了一套覆蓋率驅(qū)動的Cache一致性協(xié)議偽隨機模擬驗證方法; 2.使用SystemC語言實現(xiàn)了全系統(tǒng)模擬器。在此基礎(chǔ)上,為了加速模擬器執(zhí)行,針對驗證目標系統(tǒng)的特點,提出了一種基于MPI并行函數(shù)庫的SystemC模擬應(yīng)用分布式并行化方法,并基于此方法設(shè)計實現(xiàn)了一個支持模擬驗證系統(tǒng)并行執(zhí)行的分布式并行系統(tǒng)模擬器; 3.基于樸素貝葉斯方法提出了一種用于測試激勵自動生成的有效測試激勵分類算法。使用此算法設(shè)計并實現(xiàn)了一個有效測試激勵分類器,并將其應(yīng)用到驗證系統(tǒng)中。該分類器將隨機產(chǎn)生的測試激勵中不具有運行價值的無效測試激勵濾除,提高了測試激勵的產(chǎn)生效率; 4.基于相關(guān)分析提出了一種用于測試激勵自動生成的驗證結(jié)果快速擴展算法。使用此算法設(shè)計并實現(xiàn)了一個驗證結(jié)果擴展器,并將其應(yīng)用到驗證系統(tǒng)中。該驗證結(jié)果擴展器對已運行過的測試激勵施加偏置,通過運行帶偏置的測試激勵,快速覆蓋已被覆蓋驗證目標的相似項目。 基于上述研究成果建立的完整高效率Cache一致性協(xié)議驗證系統(tǒng)已經(jīng)成功的應(yīng)用于某型CC-NUMA系統(tǒng)的Cache一致性協(xié)議驗證工作中,應(yīng)用結(jié)果表明了本文方法的有效性。
【學位授予單位】：國防科學技術(shù)大學
【學位級別】：碩士
【學位授予年份】：2009
【分類號】：TP306

【相似文獻】

相關(guān)期刊論文 前10條

1 戴梅萼,史嘉權(quán);計算機系統(tǒng)存儲體設(shè)計技術(shù)的探討[J];微型機與應(yīng)用;1995年03期

2 周軍;病毒能藏在CMOS和CACHE中嗎?[J];電腦愛好者;1998年12期

3 尚毅,向旭光;怎樣使奔騰586奔起來[J];實驗技術(shù)與管理;1996年02期

4 周，

本文編號：2669359