论文部分内容阅读
根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性.
NAND Flash仿真模块的一种验证方法
【摘 要】
：
根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux
【机 构】
：
电子科技大学示范性软件学院,电子科技大学计算机科学与工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2011年5期
其他文献
侦查讯问中,口头语言并不能完整真实地反映一个人的内心。通过对审讯对象身体语言的观察,有助于审讯人员准确把握犯罪嫌疑人内心的真实想法,从而有针对性地实施审讯策略,促使
领导评语：＂高宏伟像铁人那样工作,像铁人那样关心员工,管理与国际同行,施工与国际接轨。他是我们公司在伊拉克、苏丹施工将士中的典型代表。＂——大庆钻探钻井二公司经理裴昱
在信息化时代背景下,公安院校设置视频侦查课程是必要的。其课程开发要符合教育规律,必须组建课程开发团队实施课程的开发工作,并按照非技术—非科学法的课程开发原理科学安