在xilinx平台上做的nandflashcontrollerip核的功能验证程序。