随着微电子技术的迅速发展，IC芯片的集成度不断的增大，许多传统的描述电路逻辑功能的方法已不能满足要求。此外，高性能VLSI系统发展迅速，为了保证系统正确可靠的运行，电路的时间特性对电路的逻辑功能的影响越来越受到人们的重视。因此，如何用有效的工具来表示电路的逻辑功能和时间特性是当今研究人员面临的困难之一。 基于上述问题，本文主要分为三个部分： 我们知道，有序二叉判定图(OBDD)是目前国际公认的形式表示布尔函数的有效方法。虽然国内已有若干介绍OBDD的文章，但是关于用程序来有效的实现OBDD并给出自己的实验结果的文章尚未见到。美国卡内基—梅隆大学开发的CMU BDD软件包是成功的实现OBDD的软件包之一。我们于1993年引进了该软件包，作者对CMU BDD软件包进行了认真的研究与实践。本文首先详细介绍OBDD及其软件包的实现技术和我们应用该软件包的实验结果，并概括的介绍了比较典型的几种基于OBDD的扩展和改进思想。 其次，作者在消化、吸收CMU BDD软件包的基础上，在介绍了统一描述电路的逻辑功能和时间特性的数学工具——带时间参数的布尔函数(TBF)之后，着重介绍了本文提出的一种新的形式表示TBF的有效工具——带时间参数的二叉判定图(TBDD)。TBDD能够把电路的逻辑功能和时间特性统一的表示出来，它完全包含了TBF所描述的电路的信息。实际上，TBDD是OBDD的一种扩展，OBDD可以看作是边权为0的TBDD。因此，用TBDD表示TBF具有唯一性、直观性和简洁性等特点。 最后，作者通过改写CMU BDD软件包中的核心算法和主要数据结构，利用CMU BDD中加快BDD生成速度的各种策略，在SUN SPARK工作站上开发了用于实现TBDD的软件包，并在以下几个方面初步应用了TBDD软件包： ◆ 通路敏化方面——本文根据同起止同延时的物理通路上的信号同时作用于电路输出的特点，提出了功能通路和功能通路敏化概念。电路的最长可敏化功能通路的延时与最长可敏化物理通路的延时相同，因此，用