NAND Flash控制器设计及基于SystemC的交易级验证研究

发布时间：2018-05-10 10:44

本文选题：SystemC + NAND　；参考：《哈尔滨工程大学》2013年硕士论文

【摘要】：随着移动终端设备、高可靠性存储及高性能存储服务等应用对于体积小、重量轻、零噪声、高可靠性存储器的需求日趋强烈，基于NAND Flash型器件的存储设备在存储市场中占据越来越重要的地位。NAND Flash控制器实现对存储芯片的存取访问控制及差错控制等功能，在当前的单芯片系统中嵌入式NAND Flash控制器对于提高芯片集成度、降低系统成本和提高可靠性等都具有重要的意义。本文设计并实现了具有差错控制功能的NAND Flash控制器IP核，提出基于SystemC的交易级验证方案对所设计的NAND Flash控制器进行了功能验证。本文首先针对美光公司的NAND Flash型存储器芯片MT29F4G08AAA设计了控制器IP核。通过分析NAND Flash的接口信号和操作时序，将每项操作拆分为几种基本的子操作，，主要包括写命令操作、写地址操作、读数据操作和写数据操作，执行一项或多项子操作来完成对NAND Flash的数据访问。为提高数据的可靠性，设计了ECC （ErrorCorrecting Code）模块，通过对写入和读出NAND Flash的数据进行差错控制编码，实现检测多位错并纠正一位错的功能。基于系统级描述及验证语言SystemC，搭建了NANDFlash控制器的交易级验证环境，对所设计的NAND Flash控制器进行了较为完备的验证。利用ModelSim实现了Verilog HDL和SystemC的混合仿真，通过分析生成的波形图和仿真数据，实现了对NAND Flash控制器IP核的系统级功能验证。论文工作表明，基于SystemC的交易级验证技术可以达到在系统设计初期同时开展验证工作的目的，在验证效率上相对于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 .

【学位授予单位】：哈尔滨工程大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP333

【参考文献】