论文部分内容阅读
随着移动终端设备、高可靠性存储及高性能存储服务等应用对于体积小、重量轻、零噪声、高可靠性存储器的需求日趋强烈，基于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级验证也有显著的提升。