王洋, 杨国武, 郑德生, 李晓瑜. NAND Flash仿真模块的一种验证方法[J]. 微电子学与计算机, 2011, 28(5): 32-35.
引用本文: 王洋, 杨国武, 郑德生, 李晓瑜. NAND Flash仿真模块的一种验证方法[J]. 微电子学与计算机, 2011, 28(5): 32-35.
shu
WANG Yang, YANG Guo-wu, ZHENG De-sheng, LI Xiao-yu. A Verification Method of NAND Flash Simulation Module[J]. Microelectronics & Computer, 2011, 28(5): 32-35.
Citation: WANG Yang, YANG Guo-wu, ZHENG De-sheng, LI Xiao-yu. A Verification Method of NAND Flash Simulation Module[J]. Microelectronics & Computer, 2011, 28(5): 32-35.
shu

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

A Verification Method of NAND Flash Simulation Module

    摘要
  • 摘要: 根据NAND Flash硬件设备的工作原理和过程, 利用线性时态逻辑建模语言描述该硬件设备读写状态的性质, 分析了NAND Flash软件仿真模块的设计与实现, 并通过移植u-boot及ARM Linux内核到仿真器中, 验证上述性质是否满足, 以保证软件仿真模块设计的正确性.

     

    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.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回