嵌入式SDRAM控制器驗(yàn)證研究.pdf

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

2、言違例時(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)測(cè)驗(yàn)證過程中的操作行為。隨后，在驗(yàn)證平臺(tái)中加入斷言模塊，執(zhí)行驗(yàn)證并獲取了覆蓋率報(bào)告、斷言違例報(bào)告、仿真波形和虛擬SDRAM設(shè)備的反饋信息。隨著對(duì)設(shè)計(jì)的修改和對(duì)斷言的優(yōu)化，斷言違例數(shù)目降為0，