论文部分内容阅读
本文提出了一种形式表示带时间参数布尔函数（ＴｉｍｅｄＢｏｏｌｅａｎＦｕｎｃｔｉｏｎ或ＴＢＦ）的新方法──带时间参数的二叉判定图（ＴｉｍｅｄＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延迟的准确计算．ＴＢＤＤ是传统布尔函数的符号表示──有序二叉判定图（ＯＢＤＤ）的扩展，可以统一地描述电路的逻辑功能和时间特征．由于采用了有效的压缩和节点共享策略，在典型的应用中，描述电路行为的ＴＢＤＤ的大小是令人满意的．数字电路时间延迟的准确计算对于高性能数字系统的设计和验证十分重要，本文利用ＴＢＤＤ这一有力工具，给出了计算电路最大时间延迟的一种新方法．实验结果表明这种方法是十分有效的．
In this paper, we propose a new method, TimedBooleanFunction or TBF, which formally represents TimeBorderFunction (TBF) with time parameters - TimedBinaryDecision Diagrams (TBDDs) with time parameters and apply them to the accurate calculation of circuit time delay. TBDD is a symbolic representation of the traditional Boolean function - an extension of the ordered binary decision diagram (OBDD), which describes the logic functions and temporal features of a circuit uniformly. Due to the effective compression and node sharing strategies, the size of the TBDD describing the behavior of the circuit is satisfactory in a typical application. Accurate calculation of digital circuit time delay is very important for the design and verification of high performance digital system. In this paper, TBDD is a powerful tool to give a new method to calculate the maximum time delay of the circuit. Experimental results show that this method is very effective.