| Boolean process |
| |
| 作者姓名： | 闵应骅 李忠诚 赵著行 |
| |
| 作者单位： | Center for Fault-Tolerant Computing，CAD Laboratory，Institute of Computing Technology，Chinese Academy of Sciences，Beijing 100080，China，Center for Fault-Tolerant Computing，CAD Laboratory，Institute of Computing Technology，Chinese Academy of Sciences，Beijing 100080，China，Center for Fault-Tolerant Computing，CAD Laboratory，Institute of Computing Technology，Chinese Academy of Sciences，Beijing 100080，China |
| |
| 基金项目： | 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
|
Boolean process |
| |
| Yinghua Min,Zhongcheng Li,Zhuxing Zhao.Boolean process[J].Science in China(Technological Sciences),1997,40(3):250-257. |
| |
| Authors: | Yinghua Min Zhongcheng Li Zhuxing Zhao |
| |
| Affiliation: | (1) Center for Fault-Tolerant Computing, CAD Laboratory, Institute of Computing Technology, Chinese Academy of Sciences, 100080 Beijing, China |
| |
| Abstract: | 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 |
| |
| Keywords: | Boolean process waveform waveform limit path sensitization |
| 本文献已被 CNKI SpringerLink 等数据库收录！ |
|
