發(fā)布時間：2018-05-10 10:44

  本文選題：SystemC + NAND�。� 參考：《哈爾濱工程大學(xué)》2013年碩士論文

【摘要】：隨著移動終端設(shè)備、高可靠性存儲及高性能存儲服務(wù)等應(yīng)用對于體積小、重量輕、零噪聲、高可靠性存儲器的需求日趨強(qiáng)烈，基于NAND Flash型器件的存儲設(shè)備在存儲市場中占據(jù)越來越重要的地位。NAND Flash控制器實現(xiàn)對存儲芯片的存取訪問控制及差錯控制等功能，在當(dāng)前的單芯片系統(tǒng)中嵌入式NAND Flash控制器對于提高芯片集成度、降低系統(tǒng)成本和提高可靠性等都具有重要的意義。本文設(shè)計并實現(xiàn)了具有差錯控制功能的NAND Flash控制器IP核，提出基于SystemC的交易級驗證方案對所設(shè)計的NAND Flash控制器進(jìn)行了功能驗證。 本文首先針對美光公司的NAND Flash型存儲器芯片MT29F4G08AAA設(shè)計了控制器IP核。通過分析NAND Flash的接口信號和操作時序，將每項操作拆分為幾種基本的子操作，，主要包括寫命令操作、寫地址操作、讀數(shù)據(jù)操作和寫數(shù)據(jù)操作，執(zhí)行一項或多項子操作來完成對NAND Flash的數(shù)據(jù)訪問。為提高數(shù)據(jù)的可靠性，設(shè)計了ECC （ErrorCorrecting Code）模塊，通過對寫入和讀出NAND Flash的數(shù)據(jù)進(jìn)行差錯控制編碼，實現(xiàn)檢測多位錯并糾正一位錯的功能。基于系統(tǒng)級描述及驗證語言SystemC，搭建了NANDFlash控制器的交易級驗證環(huán)境，對所設(shè)計的NAND Flash控制器進(jìn)行了較為完備的驗證。 利用ModelSim實現(xiàn)了Verilog HDL和SystemC的混合仿真，通過分析生成的波形圖和仿真數(shù)據(jù)，實現(xiàn)了對NAND Flash控制器IP核的系統(tǒng)級功能驗證。論文工作表明，基于SystemC的交易級驗證技術(shù)可以達(dá)到在系統(tǒng)設(shè)計初期同時開展驗證工作的目的，在驗證效率上相對于RTL級驗證也有顯著的提升。
[Abstract]:With the application of mobile terminal equipment , high - reliability storage and high - performance storage service , the need for small volume , light weight , zero noise and high reliability memory is becoming more and more intense . The NAND Flash controller plays an increasingly important role in the storage market . The NAND Flash controller designs and implements the NAND Flash controller IP core with error control function , and proposes a system C based transaction level verification scheme to verify the designed NAND Flash controller .

In order to improve the reliability of the data , an ECC ( ErrorCode Code ) module is designed to realize the detection of multiple dislocations and correct a fault . Based on the system level description and the verification language SystemC , the transaction level verification environment of the NAND Flash controller is built , and the designed NAND Flash controller is validated .

The mixed simulation of verilog HDL and SystemC is realized by ModelSim . The system level function verification of the NAND Flash controller IP core is realized by analyzing the generated waveform chart and the simulation data . The work of the paper shows that the transaction level verification technology based on SystemC can achieve the purpose of carrying out verification work at the same time in the early stage of the system design , and the verification efficiency is obviously improved with respect to RTL level verification .

【學(xué)位授予單位】：哈爾濱工程大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2013
【分類號】：TP333

【參考文獻(xiàn)】

相關(guān)期刊論文 前4條

1 宋廷強(qiáng),劉川來,周艷;SoC設(shè)計中WISHBONE片上總線的設(shè)計與開發(fā)[J];青島科技大學(xué)學(xué)報(自然科學(xué)版);2003年05期

2 郭勇,李仁發(fā),樂光學(xué);Wishbone總線交易級建模[J];微電子學(xué)與計算機(jī);2005年01期

3 吳松,金海;存儲虛擬化研究[J];小型微型計算機(jī)系統(tǒng);2003年04期

4 張海洲;陳曉;蔣毅;張鶴鳴;;固態(tài)硬盤性能測試方法[J];中國個體防護(hù)裝備;2008年04期

本文編號：1868988