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

有效

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

1.一種SOC芯片中的MMU的驗(yàn)證方法，其特征在于：包括如下步驟：

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

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

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

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

所述存儲(chǔ)器模型，負(fù)責(zé)存儲(chǔ)數(shù)據(jù)，包含頁(yè)表存儲(chǔ)區(qū)和數(shù)據(jù)區(qū)，分別存放頁(yè)表和運(yùn)算源數(shù)據(jù)及運(yùn)算結(jié)果數(shù)據(jù)；

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

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

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

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

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

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

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

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

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

步驟10：文件比較單元負(fù)責(zé)自動(dòng)讀取實(shí)際映射后地址文件和期望映射后地址文件，然后將兩個(gè)文件進(jìn)行比較后輸出結(jié)果是否正確的驗(yàn)證結(jié)果。

2.如權(quán)利要求1所述的一種SOC芯片中的MMU的驗(yàn)證方法，其特征在于：所述專用電路發(fā)起傳輸?shù)男袨椋ú煌耐话l(fā)傳輸長(zhǎng)度、不同的數(shù)據(jù)位寬。

3.如權(quán)利要求1所述的一種SOC芯片中的MMU的驗(yàn)證方法，其特征在于：所述文件比較單元會(huì)報(bào)告開(kāi)始出現(xiàn)錯(cuò)誤的地址，方便驗(yàn)證人員找出錯(cuò)誤的位置。