A Unified Approach to Composite MVL (Multiple-Valued Logic) with Monotonic Subfunction,
Abstract
The concept of composite multiple-valued logic (CMVL) is introduced. The CMVL has subfunctions in the subsets of logical values. The subfunctions, especially monotonic ones play role to make the system testable; fault detectable and diagonosable. The CMVL contains C-type fail safe logic and A-type which have one monotonically increasing subfunction, and also contains some new logics, D-type with two monotonic ones, J-type with three monotonic ones etc. Classification and properties of these functions and systems are discussed using the concept of CMVL, and the properties give suggestions for design strategies of two valued or binary and multiple valued or higher radix testable logical systems.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1983
- Accession Number
- ADP002368
Entities
People
- H. Itoh
- M. Nakamichi
Organizations
- Chiba University