您的位置： 专家智库 > >

王洋

作品数：1 被引量：1H指数：1
供职机构：电子科技大学信息与软件工程学院更多>>
发文基金：国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇时态逻辑
  • 1篇线性时态逻辑
  • 1篇仿真
  • 1篇NAND
  • 1篇NAND_F...
  • 1篇FLASH

机构

  • 1篇电子科技大学

作者

  • 1篇郑德生
  • 1篇王洋
  • 1篇李晓瑜
  • 1篇杨国武

传媒

  • 1篇微电子学与计...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
NAND Flash仿真模块的一种验证方法被引量：1
2011年
根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性.
王洋杨国武郑德生李晓瑜
关键词：NANDFLASH仿真线性时态逻辑
全选 清除 导出
共1页<1>
聚类工具0