布尔过程在通路敏化中的应用

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

Boolean process

Boolean algebra successfully describes the logical behavior of a digital circuit, and has been widely used in electronic circuit design and test With the development of high speed VLSIs it is a drawback for Boolean algebra to be unable to describe circuit timing behavior. Therefore a Boolean process is defined as a family of Boolean van ables relevant to the time parameter t. A real-valued sample of a Boolean process is a waveform. Waveform functions can be manipulated formally by using mathematical tools. The distance, difference and limit of a waveform polynomial are defined, and a sufficient and necessary condition of the limit existence is presented. Based on this, the concept of sensitization is redefined precisely to demonstrate the potential and wide application possibility The new definition is very different from the traditional one, and has an impact on determining the sensitizable paths with maximum or minimum length, and false paths, and then designing and testing high performance circuits