DocumentCode
3108160
Title
Formalising Flash Memory: First Steps
Author
Butterfield, Andrew ; Woodcock, Jim
Author_Institution
Trinity Coll. Dublin, Dublin
fYear
2007
fDate
11-14 July 2007
Firstpage
251
Lastpage
260
Abstract
We present first steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstraction that captures the internal architecture of such a device, as well as the commands that are used to operate it. The model is intended as a key step in a plan to develop a verified filestore system, by providing a description of the hardware devices that would be used in it implementation.
Keywords
NAND circuits; flash memories; formal logic; NAND flash memory; filestore system; formal models; Computer architecture; Computer science; Educational institutions; File systems; Flash memory; Hardware; Nonvolatile memory; Space technology; Statistics; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location
Auckland
Print_ISBN
0-7695-2895-3
Type
conf
DOI
10.1109/ICECCS.2007.23
Filename
4276321
Link To Document