您的位置： 专家智库 > >

张瑞雪

作品数：2 被引量：2H指数：1
供职机构：哈尔滨金融学院计算机系更多>>
发文基金：黑龙江省高等教育学会“十二五”教育科学研究规划课题更多>>
相关领域：文化科学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇等价
  • 1篇等价性检验
  • 1篇时序逻辑
  • 1篇计算机
  • 1篇BDD

机构

  • 1篇哈尔滨金融学...

作者

  • 1篇郝春梅
  • 1篇王旭
  • 1篇张瑞雪

传媒

  • 1篇中国电子商务

年份

  • 1篇2011
共 2 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
计算机形式验证方法研究综述
2011年
对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。
张瑞雪郝春梅王旭
关键词：时序逻辑等价性检验BDD
全选 清除 导出
共1页<1>
聚类工具0