NAND Flash仿真模块的一种验证方法  

A Verification Method of NAND Flash Simulation Module

作　　者：王洋[1] 杨国武[2] 郑德生[2] 李晓瑜[2] 

机构地区：[1]电子科技大学示范性软件学院,四川成都611731 [2]电子科技大学计算机科学与工程学院,四川成都611731

出　　处：《微电子学与计算机》2011年第5期32-35,共4页Microelectronics & Computer

基　　金：2009年国家"核高基"重大专项(2009ZX01039)

摘　　要：根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性.According to the working theory and process of NAND Flash device,this paper describes the properties of the reading or writing state of the hardware device by using LTL language,and analyzes the design and implementation of NAND Flash device simulation module.Then transplants u-boot and Linux kernel to simulator and verify the properties above,which proves that the design of the simulation module is correct.

关 键 词：NAND FLASH 仿真 线性时态逻辑 验证 

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]