您的位置： 专家智库 > >

陕西省教育厅科研计划项目(07JK373)

作品数：1 被引量：4H指数：1
相关作者：边明明郭建韩俊岗更多>>
相关机构：西安电子科技大学西安邮电学院更多>>
发文基金：国家自然科学基金陕西省教育厅科研计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇自动机
  • 1篇模拟仿真
  • 1篇仿真
  • 1篇PSL
  • 1篇FIFO

机构

  • 2篇西安邮电学院
  • 2篇西安电子科技...
  • 1篇华东师范大学

作者

  • 2篇郭建
  • 1篇韩俊岗
  • 1篇边明明

传媒

  • 1篇计算机科学

年份

  • 2篇2008
共 1 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于PSL的FIFO的验证
IEEE属性描述语言PSL为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法（ABV）为硬件的设计和验证提出了一种新的很具有优势的验证方法。用PSL作为ABV方法中描述断言的语言,使得ABV中的断言能够被语法精简...
郭建韩俊刚
关键词：模拟仿真形式化验证
文献传递
LTL公式到自动机的转换被引量：4
2008年
在LTL公式和自动机理论的基础上,给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式,然后再对简化的LTL公式转换,形成选择Buchi自动机。此算法与其他算法相比,具有可扩展性的优点,可以在此基础上形成属性描述语言PSL向自动机的转换。
郭建边明明韩俊岗
全选 清除 导出
共1页<1>
聚类工具0