嵌入式SDRAM控制器驗證研究.pdf

1、網(wǎng)絡(luò)處理器的外接SDRAM用于存儲較大的數(shù)據(jù)結(jié)構(gòu)或在運行時存儲主控制器的指令代碼。而SDRAM控制器主要用于控制網(wǎng)絡(luò)處理器內(nèi)部設(shè)備對外接SDRAM進行訪問，時序控制復(fù)雜，微小的錯誤即可導(dǎo)致網(wǎng)絡(luò)處理器無法正常工作，因此需要進行充分的功能驗證。 本文根據(jù)SDRAM控制器設(shè)計規(guī)范，提取了系統(tǒng)命令仲裁、初始化、讀、寫和刷新等操作的功能特性。然后，根據(jù)這些功能特性，利用OVL斷言庫，設(shè)計了30個斷言模塊，用于實時監(jiān)控設(shè)計的時序行為，并在斷

2、言違例時發(fā)出報告。接著，搭建了由虛擬系統(tǒng)、SDRAM控制器和虛擬SDRAM設(shè)備組成的驗證平臺。虛擬系統(tǒng)用于模擬系統(tǒng)的行為向SDRAM控制器發(fā)出合理的地址、數(shù)據(jù)和命令信號。虛擬SDRAM設(shè)備用于根據(jù)SDRAM控制器發(fā)出的信號反饋相應(yīng)的操作信息，以便于監(jiān)測驗證過程中的操作行為。隨后，在驗證平臺中加入斷言模塊，執(zhí)行驗證并獲取了覆蓋率報告、斷言違例報告、仿真波形和虛擬SDRAM設(shè)備的反饋信息。隨著對設(shè)計的修改和對斷言的優(yōu)化，斷言違例數(shù)目降為0，