刘彬

作品数：1被引量：1H指数：1
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：异步FIFO符号模型检验LTLCDCSMV更多>>
发文领域：电子电信更多>>
发文期刊：《计算机科学》更多>>
所获基金：国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
异步FIFO的模型检验方法被引量：1
《计算机科学》2012年第3期268-270,共3页罗莉 欧国东 刘彬 徐炜遐 窦强 
核高基重大专项(2011ZX01028-001-001)资助
跨时钟域(Clock Domain Crossing,CDC)设计和验证是SOC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法,利用模型检验工具SMV,建立了异步FIFO的有限状态机模型,使用时序逻辑LTL对该模型和属性进行了描述和验证。实验结果达到要求...
关键词：CDC(Clock Domain Crossing) 异步FIFO LTL 符号模型检验 SMV 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部