If you want to code a nand flash controller, you must be need a simulation model of a existing nand flash. This appedix is your wanted. It is a verilogHDL code.