论文部分内容阅读
本文提出了一种形式表示带时间参数布尔函数（Ｔｉｍｅｄ Ｂｏｏｌｅａｎ Ｆｕｎｃｔｉｎｏ或ＴＢＦ）的新方法－－－带时间参数的二叉判定图（Ｔｉｍｅｄ Ｂｉｎａｒｙ Ｄｅｃｉｓｉｏｎ Ｄｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延迟的准确计算。ＴＢＤＤ是传统而尔函数的符号表示－－－有序二叉判定图（ＯＢＤＤ）的扩展，可以统一地描述电路的逻辑功能和时间特征。由于采用了有效的压缩和节点共享策略，在典型的应