A Verification Method of NAND Flash Simulation Module

WANG Yang,YANG Guo-wu,ZHENG De-sheng,LI Xiao-yu
2011-01-01
Abstract: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.
What problem does this paper attempt to address?