国家科技重大专项(2009ZX01039)

作品数：3被引量：4H指数：1
导出分析报告
相关作者：杨国武李晓瑜朱文涛桑楠王志平更多>>
相关机构：电子科技大学更多>>
相关期刊：《小型微型计算机系统》《微电子学与计算机》更多>>
相关主题：仿真I^2C总线接口FSMS3C2410X操作系统内核更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SST39VF040 NorFlash芯片的软件仿真实现被引量：1
《小型微型计算机系统》2011年第12期2511-2514,共4页王志平 杨国武 李晓瑜 
国家科技部"核高基"重大专项项目(2009ZX01039)资助
针对嵌入式开发平台上的SST39VF040 NorFlash芯片,根据其硬件结构定义了芯片的数据结构,通过其工作原理,分析了芯片读、写、擦除操作的工作过程,建立起对应的有限状态机(FSA)转化控制模型.利用此模型与定义的数据结构,设计与实现了该芯...
关键词：NorFlash 软件仿真 嵌入式系统 U-BOOT 操作系统内核 
基于S3C2410X的I^2C总线接口的软件仿真与验证被引量：2
《小型微型计算机系统》2011年第9期1917-1920,共4页朱文涛 桑楠 杨国武 
科技部核高基项目(2009ZX01039)资助
根据S3C2410X处理器内I2C总线接口的控制逻辑和I2C总线主从设备的通讯原理,提出了一种仿真I2C总线接口的方法,实现嵌入式仿真器中I2C模块的仿真.利用FSM建模方法对E2PROM芯片的控制过程进行建模,根据此模型仿真了S3C2410X对E2PROM的读...
关键词：S3C2410X处理器 I^2C总线接口 FSM 仿真 
NAND Flash仿真模块的一种验证方法被引量：1
《微电子学与计算机》2011年第5期32-35,共4页王洋 杨国武 郑德生 李晓瑜 
2009年国家"核高基"重大专项(2009ZX01039)
根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设...
关键词：NAND FLASH 仿真 线性时态逻辑 验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部