| 实时二叉判定图 |
| |
| 引用本文： | 王强 郭建. 实时二叉判定图[J]. 西安邮电学院学报, 1999, 4(3): 1-5,74 |
| |
| 作者姓名： | 王强 郭建 |
| |
| 摘 要： | 对布尔函数的有效操作是许多计算机辅助设计的重要组成部分，二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示，为了表示带时间参数的布尔函数，在ＢＤＤ的基础上，本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉判定图（ＴＢＤＤ），并利用ＣＵＤＤ包实现了ＴＢＤＤ．
|
| 关 键 词： | 二叉判定图 带时间参数的布尔函数 实时二叉判定图 |
Timed Binary Decision Diagram |
| |
| Abstract: | Efficient manipulation of Boolean Function is an important component of many computer-aided design tasks.Binary Decision Diagrams(BDD)is a kind of efficient representation of Boolean Function.In order to represent Timed Boolean Function,this paper gives a new representation of Timed Boolean Function(TBF)based on the BDD.This method is called Timed Binary Decision Diagram(TBDD)and we implement the TBDD using the package of CUDD. |
| |
| Keywords: | BDD TBF TBDD |
| 本文献已被 维普 等数据库收录！ |
|
