论文部分内容阅读
对高性能数字电路来说，定时的研究与分析是非常重要的，新近提出的布尔过程是定时分析的有效的理论工具，它将电路的逻辑关系和定时关系统一地表示在一个表达式中。本文首先介绍布尔过程的基本概念，然后利用此方法对任意输入模式下的通路敏化问题并行讨论－－重新定义通路敏化的概念，并通过一个例子说明几种主要的敏化定义之间的不同，给出并证明判定通路敏化的充要条件，文章最后提出计算敏化通路的原始输入波形的算法，并给以证