A Verification Method of NAND Flash Simulation Module

WANG Yang; YANG Guo-wu; ZHENG De-sheng; LI Xiao-yu

Chinese

您当前的位置：

首页 >

文章列表页 >

A Verification Method of NAND Flash Simulation Module

更新时间：2026-09-04

- A Verification Method of NAND Flash Simulation Module
- Vol. 28, Issue 5, Pages: 32-35(2011)
- 作者机构：
  
  1. 1 电子科技大学示范性软件学院,四川,成都,611731
  2. 2 电子科技大学计算机科学与工程学院,四川,成都,611731
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2011
- 稿件说明：
移动端阅览
王洋, 杨国武, 郑德生, 李晓瑜. NAND Flash仿真模块的一种验证方法[J]. 微电子学与计算机, 2011, 28(5): 32-35.

WANG Yang, YANG Guo-wu, ZHENG De-sheng, et al. A Verification Method of NAND Flash Simulation Module[J]. 2011, 28(5): 32-35.
王洋, 杨国武, 郑德生, 李晓瑜. NAND Flash仿真模块的一种验证方法[J]. 微电子学与计算机, 2011, 28(5): 32-35. DOI：

WANG Yang, YANG Guo-wu, ZHENG De-sheng, et al. A Verification Method of NAND Flash Simulation Module[J]. 2011, 28(5): 32-35. DOI：

摘要

根据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.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research and Implementation of Addressing Method Based on NAND Flash Multichannel Storage System

Design of a High-Reliable NAND FLASH Bad Block Table Storage Scheme

Aerial vehicle detection algorithm based on multi-scale fusion and small-object enhancement

Implementation and verification of a dual-chain power gating strategy for low power design

Monte carlo analysis of V-layout trench SiC neutron detector

Related Author

ZHAO Qian

TANG Lei

LI Shan

SONG Qi

ZHU Yan

AN Jun-she

Related Institution

Xi'an Microelectronics Technology Institute

Institute of Information Engineering, Chinese Academy of Sciences

National Space Science Center, Chinese Academy of Sciences

University of Chinese Academy of Sciences

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰