基于布尔过程论的层次化延时分析方法

作     者：杜振军 马光胜 冯刚 

作者机构：哈尔滨工程大学计算机科学与技术学院哈尔滨150001 

基　　金：国家自然科学基金资助 ( 699730 14 ) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2001年第38卷第10期

页      码：1269-1275页

摘      要：芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式作为理论基础 ,提出了波形多项式偏导的概念 ,并用之重新定义了敏化 .用偏导定义的敏化改进了解析延时模型 ,基于最长可敏化通路的延时建立了电路模块或子电路的延时矩阵模型 ,由延时矩阵模型出发提出了一种精确的电路层次化延时分析方法 .最后用实验验证了文中提出的延时分析方法的有效性 .

主 题 词：系统芯片 布尔过程论 层次化延时分析 数字电路 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 080902[080902] 0809[工学-计算机类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203971582...