| NAND Flash仿真模块的一种验证方法 |
| |
| 引用本文： | 王洋,杨国武,郑德生,李晓瑜.NAND Flash仿真模块的一种验证方法[J].微电子学与计算机,2011,28(5). |
| |
| 作者姓名： | 王洋 杨国武 郑德生 李晓瑜 |
| |
| 作者单位： | 1. 电子科技大学,示范性软件学院,四川,成都,611731
2. 电子科技大学,计算机科学与工程学院,四川,成都,611731 |
| |
| 基金项目： | 2009年国家"核高基"重大专项 |
| |
| 摘 要： | 根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性.
|
| 关 键 词： | 仿真 线性时态逻辑 验证 |
A Verification Method of NAND Flash Simulation Module |
| |
| 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). |
| |
| Authors: | WANG Yang YANG Guo-wu ZHENG De-sheng LI Xiao-yu |
| |
| Affiliation: | WANG Yang1,YANG Guo-wu2,ZHENG De-sheng2,LI Xiao-yu2(1 School of Software,University of Electronic Science & Technology of China,Chengdu 611731,China,2 School of Computer Science & Engineering,China) |
| |
| 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: | NAND Flash |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
