-
题名基于布尔过程论的波形和波形空间的性质及应用
被引量：1
- 1
-
-
作者
尤志强
张大方
刘先霞
-
机构
湖南大学计算机科学系
湖南大学应用数学系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2000年第8期107-109,共3页
-
基金
国家自然科学基金!(No 697330 1 0
No 699730 1 6)
-
文摘
本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 .并在此基础上定义了延迟算子 ,推导了延迟算子的性质 ,论证了定义的距离的连续性和给出通路敏化的条件 ,展示了布尔过程论的应用前景 .
-
关键词
布尔过程
波形空间
波形距离
波形极限
布尔代数
-
Keywords
boolean process
waveform space
waveform distance
waveform limit
waveform function
delay operator
gateway sensitization
-
分类号
O153.2
[理学—基础数学]
-
-
题名布尔过程在通路敏化中的应用
被引量：1
- 2
-
-
作者
赵著行
闵应骅
李忠诚
-
机构
中国科学院计算技术研究所CAD开放实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
1996年第8期568-575,共8页
-
基金
国家自然科学基金
-
文摘
对高性能数字电路来说，定时（Ｔｉｍｉｎｇ）的研究与分析是非常重要的．新近提出的布尔过程是定时分析的有效的理论工具，它将电路的逻辑关系和定时关系统一地表示在一个表达式中．本文首先介绍布尔过程的基本概念，然后利用此方法对任意输入模式下的通路敏化问题进行讨论──重新定义通路敏化的概念，并通过一个例子说明几种主要的敏化定义之间的不同，给出并证明判定通路敏化的充要条件．文章最后提出计算敏化通路的原始输入波形的算法，并给以证明．
-
关键词
布尔过程
波形函数
通路敏化
数字电路
-
Keywords
boolean process, waveform function, sensitization
-
分类号
TN790.2
[电子电信—电路与系统]
-
-
题名布尔过程论的实验研究
被引量：1
- 3
-
-
作者
于潇洋
闵应骅
李忠诚
吴诚文
-
机构
中国科学院计算技术研究所
台湾新竹清华大学电机工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2000年第11期1196-1200,共5页
-
基金
国家自然科学基金重点课题!(6 97330 10 )的支持
台湾李国鼎基金会的资助
-
文摘
布尔过程论是 1994年提出的一种高速电路设计与测试分析理论 ,是布尔代数在时域中的扩充 ,适用于 IC定时研究与分析 .但布尔过程论的实践可行性受到一些国际同行的质疑 ,该文的工作旨在解释布尔过程论的物理意义以及构成布尔过程论的实验基础 .文中采用 SPICE软件模拟电路中的电压波形 ,对一些电路例子进行模拟 ,发现模拟结果与用布尔过程论得出的结果是一致的 ,这就以实验验证了布尔过程论 .同时 。
-
关键词
布尔过程论
SPICE软件
集成电路
电路分析
-
Keywords
boolean process, waveform function, SPICE simulation, sensitization
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
