论文部分内容阅读
根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性.
NAND Flash仿真模块的一种验证方法
【摘 要】
：
根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux
【机 构】
：
电子科技大学示范性软件学院,电子科技大学计算机科学与工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2011年5期
其他文献
创新教育是以培养人的创新精神和创新能力为基本价值取向的教育,着重研究和解决的问题是如何培养中小学生的创新意识、创新精神和创新能力。培养学生的创新意识、创新精神及
语文是最重要的交际工具,是人类文化的重要组成部分。修订版大纲明确指出: “小学语文教学应立足于促进学生的发展,为他们的终身学习、生活和工作奠定基础。”小学一年级是儿
培养学生的创新精神与实践能力是当前素质教育的重点。社会课作为一门实践性很强的综合性学科,是学生创新与实践的重要基地。在教学中,我着眼于社会小课堂(社会课堂教学)、放
【教学理念】五年级上册口语交际《父母的爱》是三年级下册口语交际《父母的爱》的延续和发展，由无私的爱上升到了理性的爱。在这一阶段，训练学生口语交际能力就是要培养学生采
教给孩子们学习的方法是我们教学中长期探讨、摸索的问题,也是全面落实教育部关于“减负”的研究课题。根据我教学语文的具体做法,任何类型的课文都可以从以下几个方面培养学
现代建构主义学习理论告诉我们,学生学习知识的过程,是以一个积极的心态调动原有的知识经验、发现新问题、同化新知识的主动构建过程。在课堂教学中,应突出学生感受和理解知
侦查讯问中,口头语言并不能完整真实地反映一个人的内心。通过对审讯对象身体语言的观察,有助于审讯人员准确把握犯罪嫌疑人内心的真实想法,从而有针对性地实施审讯策略,促使
领导评语：＂高宏伟像铁人那样工作,像铁人那样关心员工,管理与国际同行,施工与国际接轨。他是我们公司在伊拉克、苏丹施工将士中的典型代表。＂——大庆钻探钻井二公司经理裴昱
美国的一本1991年出版的乔治·E.德博尔<sub>George.E.Debore</sub>著的《科学教育思想史》指出,“在1950年后期开始的30年中,如果选择一个单词来描述科学教育的目的,那
在信息化时代背景下,公安院校设置视频侦查课程是必要的。其课程开发要符合教育规律,必须组建课程开发团队实施课程的开发工作,并按照非技术—非科学法的课程开发原理科学安