导读:本文包含了带时间参数二叉判定图论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:参数,时间,布尔,函数,图论,OBDD,TBDD。
带时间参数二叉判定图论文文献综述
赵宇虹[1]（1997）在《带时间参数二叉判定图（TBDD）及其应用》一文中研究指出随着微电子技术的迅速发展，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软件包： ◆ 通路敏化方面——本文根据同起止同延时的物理通路上的信号同时作用于电路输出的特点，提出了功能通路和功能通路敏化概念。电路的最长可敏化功能通路的延时与最长可敏化物理通路的延时相同，因此，用(本文来源于《中国科学院研究生院（计算技术研究所）》期刊1997-05-01）
带时间参数二叉判定图论文开题报告
带时间参数二叉判定图论文参考文献
[1].赵宇虹.带时间参数二叉判定图（TBDD）及其应用[D].中国科学院研究生院（计算技术研究所）.1997