A Verification Method of NAND Flash Simulation Module
Xiaoyu Li · Microelectronics & Computer · 2011
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.