带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用

摘要

本文提出了一种形式表示带时间参数布尔函数(Timed Boolean Function或TBF)的新方法--带时间参数的二叉判定图(Timed Binary Decision Diagram或TBDD),并将其应用于电路时间延迟的准确计算.TBDD是传统布尔函数的符号表示--有序二叉判定图(OBDD)的扩展,可以统一地描述电路的逻辑功能和时间特征.由于采用了有效的压缩和节点共享策略,在典型的应用中,描述电路行为的TBDD的大小是令人满意的.数字电路时间延迟的准确计算对于高性能数字系统的设计和验证十分重要,本文利用TBDD这一有力工具,给出了计算电路最大时间延迟的一种新方法.实验结果表明这种方法是十分有效的.