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 al...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展开更多
For different delay models, the concept of sensitization can be very different.Thaditional concepts of sensitization cannot precisely describe circult behavior when the input vectors change very fast. Using Boolean pr...For different delay models, the concept of sensitization can be very different.Thaditional concepts of sensitization cannot precisely describe circult behavior when the input vectors change very fast. Using Boolean process approach, this paper presents a new definition of sensitization for arbitrary input waveforms.By this new concept it is found that if the inputs of a combinational circult can change at any time, and each gate's delay varies witliln an interval (bounded gate delay model), then every path, which is not necessarily a single topological path, is sensitizable. fum the experimental results it can be seen that, all nonsensitizable paths for traditional concepts actually can propagate transitions along them for some input wavforms. However, specilied time between input transitions (STBIT) and nilnimum perndssible pulse width (E) are two major factors to make some paths non-sensitizable.展开更多
基金Project supported by the National Natural Science Foundation of China.
文摘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
文摘For different delay models, the concept of sensitization can be very different.Thaditional concepts of sensitization cannot precisely describe circult behavior when the input vectors change very fast. Using Boolean process approach, this paper presents a new definition of sensitization for arbitrary input waveforms.By this new concept it is found that if the inputs of a combinational circult can change at any time, and each gate's delay varies witliln an interval (bounded gate delay model), then every path, which is not necessarily a single topological path, is sensitizable. fum the experimental results it can be seen that, all nonsensitizable paths for traditional concepts actually can propagate transitions along them for some input wavforms. However, specilied time between input transitions (STBIT) and nilnimum perndssible pulse width (E) are two major factors to make some paths non-sensitizable.
