带时间参数布尔函数论文_赵宇虹,李忠诚,闵应骅

导读:本文包含了带时间参数布尔函数论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:布尔,参数,时间,函数,电路,论文。

带时间参数布尔函数论文文献综述

赵宇虹,李忠诚,闵应骅^[1]（1997）在《带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用》一文中研究指出本文提出了一种形式表示带时间参数布尔函数（ＴｉｍｅｄＢｏｏｌｅａｎＦｕｎｃｔｉｏｎ或ＴＢＦ）的新方法──带时间参数的二叉判定图（ＴｉｍｅｄＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延迟的准确计算．ＴＢＤＤ是传统布尔函数的符号表示──有序二叉判定图（ＯＢＤＤ）的扩展，可以统一地描述电路的逻辑功能和时间特征．由于采用了有效的压缩和节点共享策略，在典型的应用中，描述电路行为的ＴＢＤＤ的大小是令人满意的．数字电路时间延迟的准确计算对于高性能数字系统的设计和验证十分重要，本文利用ＴＢＤＤ这一有力工具，给出了计算电路最大时间延迟的一种新方法．实验结果表明这种方法是十分有效的．(本文来源于《计算机学报》期刊1997年10期）

带时间参数布尔函数论文开题报告

带时间参数布尔函数论文参考文献

[1].赵宇虹,李忠诚,闵应骅.带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用[J].计算机学报.1997

论文知识图

Notice: Undefined index: items in F:\Web\www\cnki.demo.com\app\cnki\tpl\search.html on line 79Warning: Invalid argument supplied for foreach() in F:\Web\www\cnki.demo.com\app\cnki\tpl\search.html on line 79

标签：布尔论文;  参数论文;  时间论文;  函数论文;  电路论文;  论文论文;