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

被引：6

作者：

赵宇虹

李忠诚

闵应骅

机构：

[1] 中国科学院计算技术研究所ＣＡＤ开放实验室

来源：

计算机学报 | 1997年 / 10期

关键词：

带时间参数的布尔函数; 带时间参数二叉判定图; 电路延时;

D O I：

暂无

中图分类号：

TP331.1 [逻辑电路];

学科分类号：

081201 ;

摘要：

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

引用

页码：908 / 917

页数：10

共 7 条

[1]

TimedBooleanfunctions-AUnifiedFormalismforexacttiminganalysis. Lam,bryantRK. . 1994

[2]

Graph-basedalgorithmsforBooleanfunctionmanipuion. BryantRE. IEEETransCompputers . 1986

[3]

EfficientimplementationofaBDDpackage. BraceKS,RudellRL,BryantRE. Proc27thDesignAutomationConference . 1990

[4]

CircuitdelaymodelsandtheirexactcomputationusingtimedBooleanfunction. Lam,BryantR. Proc30thDesignAutomationConference . 1993

[5]

Delaycomputationincombinationallogiccircuits:theoryandalgorithms. DevadasS,KeutzerK,MalikS. ProcInternationalConferenceonCAD,USA,1991WorkshoponCAD,Test,andEvaluationforDependability . 1996

[6]

Booleanprocess-ananalyticalapproachtocircuitrepresentation. MinY. ProcATS’’94 . 1994

[7]

Timedbinarydecisiondiagrams. LiZ,ZhaoY,MinY,BraytonR. ProcIEEEIntConfComputerDesign . 1997

← 1 →