1、內(nèi)存控制器是影響計(jì)算機(jī)系統(tǒng)內(nèi)存與CPU之間數(shù)據(jù)交換的重要部件之一。內(nèi)存控制器決定著計(jì)算機(jī)系統(tǒng)內(nèi)存的最大容量、BANK數(shù)量、類型、速度、顆粒數(shù)據(jù)深度和數(shù)據(jù)寬度等重要參數(shù)，并以自動(dòng)化的方式處理CPU對(duì)存儲(chǔ)器的訪問請(qǐng)求。內(nèi)存控制器的速度和效率，對(duì)計(jì)算機(jī)系統(tǒng)的整體性能有較大影響。因此，研究內(nèi)存控制器的lC設(shè)計(jì)和驗(yàn)證關(guān)鍵技術(shù)，具有重要的研究意義和應(yīng)用價(jià)值。 本文選取一款應(yīng)用于嵌入式SRAM存儲(chǔ)系統(tǒng)的SRAM控制器為研究對(duì)象，根據(jù)SRAM控

2、制器和訪問SRAM的微引擎設(shè)計(jì)規(guī)范，對(duì)SRAM控制器的主要功能和先進(jìn)性做了深入研究，重點(diǎn)分析了控制器內(nèi)部的處理訪問命令的功能劃分和子電路的工作過程，完成了SRAM訪問指令的機(jī)器碼格式分析，并提出了一套適用于固定長度指令集的分析方法。 在SRAM控制器的門級(jí)網(wǎng)表基礎(chǔ)上，根據(jù)門級(jí)網(wǎng)表驗(yàn)證的特殊性，在驗(yàn)證平臺(tái)設(shè)計(jì)過程中采用多項(xiàng)新技術(shù)，提出一套了高效的、可移植性較好的驗(yàn)證方案，并采用基于模擬的驗(yàn)證方法，對(duì)SRAM控制器的網(wǎng)表電路進(jìn)行了驗(yàn)