Four-Valued Logic, Star Algorithm and Their Application,
Abstract
This paper is a survey of the works done in Chongqing University on Four-Valued Logic which is useful for describing the dynamic behaviors of logical objects. The mathematical Basis of Four-Valued Logic has been stated. The deduction method----Star Algorithm has been introduced. Three kinds of applications based on different explanations of the component have been dealt with, such as the fault detection of the combinational and the sequential circuits, the hazardous test generation as well as the transition logic.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1983
- Accession Number
- ADP002370
Entities
People
- T. H. Chen
- Y. G. Yuan
- Z. M. Liu
- Zhuomin M. Zhang
Organizations
- Chongqing University