您的位置： 专家智库 > >

王强

作品数：1 被引量：0H指数：0
供职机构：西安邮电学院计算机学院计算机系更多>>
发文基金：国家自然科学基金更多>>
相关领域：理学电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇理学

主题

  • 1篇函数
  • 1篇二叉判定图
  • 1篇VLSI
  • 1篇BDD
  • 1篇CAD
  • 1篇布尔函数

机构

  • 1篇西安邮电学院

作者

  • 1篇王强
  • 1篇刘建元
  • 1篇郭建

传媒

  • 1篇西安邮电学院...

年份

  • 1篇1999
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
实时二叉判定图
1999年
对布尔函数的有效操作是许多计算机辅助设计的重要组成部分，二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示，为了表示带时间参数的布尔函数，在ＢＤＤ的基础上，本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉判定图（ＴＢＤＤ），并利用ＣＵＤＤ包实现了ＴＢＤＤ．
王强郭建刘建元
关键词：二叉判定图布尔函数BDDVLSICAD
全选 清除 导出
共1页<1>
聚类工具0