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

王洋; 杨国武; 郑德生; 李晓瑜

Chinese

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2026-09-04

- NAND Flash仿真模块的一种验证方法
- A Verification Method of NAND Flash Simulation Module
- 微电子学与计算机 2011年28卷第5期页码：32-35
- 作者机构：
  
  1. 1 电子科技大学示范性软件学院,四川,成都,611731
  2. 2 电子科技大学计算机科学与工程学院,四川,成都,611731
- 作者简介：
- 基金信息：
  
  2009年国家“核高基”重大专项(2009ZX01039)
- DOI：
  中图分类号：
- 纸质出版：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

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种基于NAND Flash的多通道存储系统编址方式研究与实现

一种高可靠星载大容量存储器的坏块表存储方案设计

超低功耗实时时钟电路的设计

基于反向体偏置的高增益稳定性高温运放设计

基于多尺度融合与小目标增强的航拍车辆检测算法

相关机构

西安微电子技术研究所

中国科学院信息工程研究所

中国科学院机构空间科学与应用研究中心

中国科学院大学机构

AI问答

地址：北京市丰台区顺八条1号院2号楼北阳晨光大厦2层邮编：100079
联系电话：（010）53879206 Email：tmw@bjxintong.com.cn
技术支持由北京北大方正电子有限公司提供京ICP备09082226号-64 京公网安备11010602201714号
本系统建议在Chrome、 IE9+ 以上版本浏览器阅读本站内容，360浏览器请切换至极速模式
Cookies帮助我们提供服务并提供个性化体验。使用本网站，即表示您同意我们使用Cookies

⁰