[發(fā)明專利]一種SOC芯片中的MMU的驗證方法

有效

• 申請?zhí)枺?/td>: 201210468584.6
• 申請日: 2012-11-19
• 公開（公告）號: CN102999663A
• 公開（公告）日: 2013-03-27
• 發(fā)明（設(shè)計）人: 廖裕民
• 申請（專利權(quán)）人: 福州瑞芯微電子有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 福州市鼓樓區(qū)京華專利事務(wù)所(普通合伙) 35212
• 代理人: 宋連梅

【技術(shù)領(lǐng)域】

本發(fā)明屬于集成電路領(lǐng)域，具體是指一種SOC芯片中的MMU的驗證方法。

【背景技術(shù)】

MMU是Memory?Management?Unit的縮寫，中文名是內(nèi)存管理單元，傳統(tǒng)上被認為是中央處理器（CPU）中用來管理虛擬存儲器、物理存儲器的控制線路，同時也負責虛擬地址映射為物理地址，以及提供硬件機制的內(nèi)存訪問授權(quán)。

隨著技術(shù)的進步，超大規(guī)模SOC芯片的大量出現(xiàn)，SOC中存在大量的獨立專用處理電路模塊，比如圖形圖像處理電路，需要的內(nèi)存空間越來越大，如果不使用虛擬地址空間，操作系統(tǒng)很難滿足開辟一段連續(xù)的物理地址空間來滿足專用處理電路需求。同時由于手持設(shè)備的操作系統(tǒng)日益復雜，操作系統(tǒng)期望所有的程序都可以運行在虛擬地址空間中，所以各種專用處理電路對MMU的需求也越來越強烈。

由于過去MMU通常只用于CPU，驗證環(huán)境也針對性驗證CPU的MMU結(jié)構(gòu)，目前缺少一種通用的可以用于驗證各種IP的MMU的驗證方法。

有鑒于此，本發(fā)明人針對現(xiàn)有技術(shù)的缺陷深入研究，并有本案產(chǎn)生。

【發(fā)明內(nèi)容】

本發(fā)明所要解決的技術(shù)問題在于提供一種SOC芯片中的MMU的驗證方法。

本發(fā)明采用以下技術(shù)方案解決上述技術(shù)問題：

一種SOC芯片中的MMU的驗證方法，包括如下步驟：

步驟1：填寫專用電路配置文件，描述專用電路發(fā)起傳輸?shù)男袨椋?/p>

所述專用電路配置文件中，是配置專用電路發(fā)起傳輸?shù)男袨榈呐渲眯畔ⅲ?/p>

步驟2：填寫MMU配置文件，描述頁表在存儲器模型中的存放地址，頁表大小的信息；

所述MMU配置文件，包含頁表在存儲器模型中的存放地址，頁表大小的信息；

所述存儲器模型，負責存儲數(shù)據(jù)，包含頁表存儲區(qū)和數(shù)據(jù)區(qū)，分別存放頁表和其他數(shù)據(jù)；

步驟3：填寫頁表產(chǎn)生配置文件，描述頁表大小，虛實地址映射關(guān)系的頁表信息，其中頁表大小要和所述MMU配置文件中的頁表大小信息一致；

所述頁表產(chǎn)生配置文件中，包含虛實地址映射關(guān)系的頁表信息；

步驟4：驗證平臺開始工作后，頁表產(chǎn)生單元讀入所述頁表產(chǎn)生配置文件后產(chǎn)生用于存放于所述存儲器模型中所需格式的頁表文件，然后所述存儲器模型將頁表文件初始化進入所述MMU配置文件中指定的頁表存放地址；

步驟5：專用電路行為產(chǎn)生模型自動讀入所述專用電路配置文件，并根據(jù)所述專用電路配置文件發(fā)起讀寫傳輸行為，其中訪問地址為隨機地址；

所述專用電路行為產(chǎn)生模型，負責根據(jù)專用電路配置文件發(fā)起讀寫傳輸行為的模型，用于模擬實際專用電路的傳輸行為；

步驟6：待驗證MMU設(shè)計自動讀入所述MMU配置文件，然后接受所述專用電路行為產(chǎn)生模型發(fā)起的傳輸行為，然后向所述存儲器模型中的頁表存儲地址讀取頁表信息，進行虛實地址映射后發(fā)出映射后地址的傳輸行為；

步驟7：整個傳輸過程中，原始傳輸行為采集單元和實際傳輸行為采集單元始終采集所有的專用電路行為產(chǎn)生模型到待驗證MMU設(shè)計，待驗證MMU設(shè)計到存儲器模型之間的傳輸行為，并根據(jù)傳輸行為中的地址信息分別產(chǎn)生原始地址文件和實際映射后地址文件；

步驟8：重復步驟4-步驟7，直到所有傳輸行為結(jié)束；

步驟9：所有傳輸行為結(jié)束后，C模型代碼讀入原始地址文件和頁表產(chǎn)生配置文件，根據(jù)頁表產(chǎn)生配置文件中的映射信息將原始地址文件的虛地址轉(zhuǎn)為映射后的實地址，并產(chǎn)生期望映射后地址文件；

步驟10：文件比較單元負責自動讀取實際映射后地址文件和期望映射后地址文件，然后將兩個文件進行比較后輸出結(jié)果是否正確的驗證結(jié)果。

進一步地，所述專用電路發(fā)起傳輸?shù)男袨椋ú煌耐话l(fā)傳輸長度、不同的數(shù)據(jù)位寬。

進一步地，所述文件比較單元會報告開始出現(xiàn)錯誤的地址，方便驗證人員找出錯誤的位置。

本發(fā)明的優(yōu)點在于：1、針對各種IP的特性來配置IP行為模型的行為，隨機地址可以得到更大的驗證覆蓋率；2、頁表自動產(chǎn)生，自動裝載，配置靈活，可以覆蓋多種頁表類型和頁表長度；3、傳輸行為采集單元可以采集所用驗證過程中專用電路的行為并產(chǎn)生地址文件,這個過程可以使驗證人員觀測到整個專用電路工作過程中的地址數(shù)據(jù)流,方便驗證人員debug。

【附圖說明】

下面參照附圖結(jié)合實施例對本發(fā)明作進一步的描述。

圖1是本發(fā)明主要工作流程示意圖。

【具體實施方式】

如圖1所示，一種SOC芯片中的MMU的驗證方法，包括如下步驟：