Mx, A Mix-Valued Algebra
Abstract
A combinatorial mix-valued algebra, denoted by Mx, operates on variables representing multivalued signals and buses of any width (including width = 1). A bus of signals is represented as a single multivalued variable. All variables in Mx can range over values and sets of values and are not required to range over the same set. The function set proposed for Mx includes relational, set theoretic, and existential operators. The usual two-valued Boolean algebra is a subalgebra of Mx when all variables are binary and from the same set of values. Only combinatorial memoryless topics are discussed, but sequential and memory circuits composed of Mx operations are known. Mx is useful for compact technology-independent representation of digital systems during the design process.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1983
- Accession Number
- ADP002371
Entities
People
- James H. Pugsley
- Michael Jr Sinutko
Organizations
- University of Maryland