Four-Valued Logic, Star Algorithm and Their Application

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 applic...

Full description

Saved in:
Bibliographic Details
Main Authors: Chen,T. H, Yuan,Y. G, Liu,Z. M, Zhang,Z. M
Format: Report
Language:English
Subjects:
Algorithms
Behavior
Boolean algebra
China
Circuits
Component Reports
Dynamics
Fault detection
Faults
Hazards
Logic
Logic circuits
Multiple valued logic
Quaternary logic
Reliability
Sequences
Sequential circuits
Star algorithms
Stars
Stuck faults
Symposia
Transitions
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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. This article is from 'Proceedings of the International Symposium on Multiple-Valued Logic (13th) Held at Kyoto, Japan on May 23-25, 1983,' AD-A136 457, p314-325.