【摘要】： 網(wǎng)絡(luò)處理器的外接SDRAM用于存儲(chǔ)較大的數(shù)據(jù)結(jié)構(gòu)或在運(yùn)行時(shí)存儲(chǔ)主控制器的指令代碼。而SDRAM控制器主要用于控制網(wǎng)絡(luò)處理器內(nèi)部設(shè)備對外接SDRAM進(jìn)行訪問,時(shí)序控制復(fù)雜,微小的錯(cuò)誤即可導(dǎo)致網(wǎng)絡(luò)處理器無法正常工作,因此需要進(jìn)行充分的功能驗(yàn)證。 本文根據(jù)SDRAM控制器設(shè)計(jì)規(guī)范,提取了系統(tǒng)命令仲裁、初始化、讀、寫和刷新等操作的功能特性。然后,根據(jù)這些功能特性,利用OVL斷言庫,設(shè)計(jì)了30個(gè)斷言模塊,用于實(shí)時(shí)監(jiān)控設(shè)計(jì)的時(shí)序行為,并在斷言違例時(shí)發(fā)出報(bào)告。接著,搭建了由虛擬系統(tǒng)、SDRAM控制器和虛擬SDRAM設(shè)備組成的驗(yàn)證平臺(tái)。虛擬系統(tǒng)用于模擬系統(tǒng)的行為向SDRAM控制器發(fā)出合理的地址、數(shù)據(jù)和命令信號(hào)。虛擬SDRAM設(shè)備用于根據(jù)SDRAM控制器發(fā)出的信號(hào)反饋相應(yīng)的操作信息,以便于監(jiān)測驗(yàn)證過程中的操作行為。 隨后,在驗(yàn)證平臺(tái)中加入斷言模塊,執(zhí)行驗(yàn)證并獲取了覆蓋率報(bào)告、斷言違例報(bào)告、仿真波形和虛擬SDRAM設(shè)備的反饋信息。隨著對設(shè)計(jì)的修改和對斷言的優(yōu)化,斷言違例數(shù)目降為0,從而保證了SDRAM控制器中控制和命令模塊功能的正確性,同時(shí)虛擬SDRAM設(shè)備的反饋信息和仿真波形保證了數(shù)據(jù)通路模塊功能的正確性。代碼覆蓋率較高,符合本文驗(yàn)證工作的要求。
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2009
【分類號(hào)】：TP368.11
【圖文】：

證平臺(tái)由三部分組成：虛擬系統(tǒng)，SDRAM 控制器以及虛擬 SDRAM 設(shè)示。圖 5.1 頂層驗(yàn)證平臺(tái)結(jié)構(gòu)虛擬 SDRAM 設(shè)備DRAM 控制器支持的 SDRAM 設(shè)備共有 10 種，最小的為 8Mbytes，bytes。如表 5.1 所示。地址總線共計(jì) 15 條，用來傳遞三種類型的地址：位和列地址位。Bank 的位寬一般為 1~2，行地址的位寬是 11~13，而列~10。

16 8 16 8 2 sd_A[11] sd_A[10:0] sd_A[8:0]32 4 16 32 2 sd_A[13] sd_A[12:0] sd_A[7:0]64 8 16 32 2 sd_A[13] sd_A[12:0] sd_A[8:0]32 4 16 16 4 sd_A[13:12] sd_A[11:0] sd_A[7:0]64 8 16 16 4 sd_A[13:12] sd_A[11:0] sd_A[8:0]64 4 16 32 4 sd_A[13:12] sd_A[11:0] sd_A[8:0]128 8 16 32 4 sd_A[13:12] sd_A[11:0] sd_A[9:0]128 4 16 64 4 sd_A[14:13] sd_A[12:0] sd_A[8:0]256 8 16 64 4 sd_A[14:13] sd_A[12:0] sd_A[9:0]作為驗(yàn)證平臺(tái)中的虛擬設(shè)計(jì)，SDRAM 設(shè)備的設(shè)計(jì)不必遵循可綜合原則，因此可以采用的語法更為豐富。驗(yàn)證的目的在于檢驗(yàn) SDRAM 控制器發(fā)出的信號(hào)是否符合要求，因此在虛擬 SDRAM 設(shè)備的設(shè)計(jì)中引入追蹤機(jī)制，如圖 5.3 所示�？刂凭� CS#，RAS#，CAS#和 WE#發(fā)出各種組合的信號(hào)時(shí)，SDRAM 設(shè)備能發(fā)出反饋信息，提示已經(jīng)收到相

能夠得到反饋信息的命令包括裝載模式寄存器、自動(dòng)刷新、預(yù)充電、激活、寫空操作命令的出現(xiàn)十分頻繁，而且這個(gè)命令并不產(chǎn)生實(shí)際操作，所以不提供反SDRAM 設(shè)備通過 Bank 位，行地址，列地址位接收到數(shù)據(jù)的地址信息，當(dāng)數(shù)成功后，能反饋?zhàn)x寫成功信息，并指明讀寫操作發(fā)生的 Bank、行地址、列地操作的數(shù)據(jù)值。另外，在執(zhí)行裝載模式寄存器命令時(shí)，為了能夠清晰地監(jiān)測傳AM 設(shè)備的參數(shù)，也要反饋突發(fā)長度和 CAS 潛伏期的信息。系統(tǒng)系統(tǒng)并不是與系統(tǒng)完全一致的電路，從功能驗(yàn)證角度講，也完全不需要利用可對虛擬系統(tǒng)進(jìn)行描述。虛擬系統(tǒng)的作用是向 SDRAM 控制器發(fā)出地址、數(shù)據(jù)和。理論上，這些信號(hào)能夠窮舉真實(shí)系統(tǒng)可能發(fā)出的所有信號(hào)，但是在實(shí)際操作窮舉是不可能的。

【引證文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前2條

1 宮蒼穹;全數(shù)字化焊縫超聲探傷系統(tǒng)設(shè)計(jì)Ⅰ[D];大連海事大學(xué);2011年

2 薛林波;MP3固件修復(fù)技術(shù)研究[D];北京理工大學(xué);2011年

本文編號(hào)：2754893