This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Uncertainty, Energy, and Multiple-Valued Logics
February 1986 (vol. 35 no. 2)
pp. 107-114
J.P. Hayes, Department of Electrical Engineering and Computer Science, University of Michigan
The multiple-valued logics obtained by introducing uncertainty and energy considerations into classical switching theory are studied in this paper. First, the nature of uncertain or unknown signals is examined, and two general uncertainty types called U-values and P-values are identified. It is shown that multiple-valued logics composed of U/P-values can be systematically derived from 2-valued Boolean algebra. These are useful for timing and hazard analysis, and provide a rigorous framework for designing gate-level logic simulation programs. Next, signals of the form (v, s) are considered where v and s denote logic level and strength, respectively, and the product vs corresponds to energy flow or power. It is shown that these signals form a type of lattice called a pseudo-Boolean algebra. Such algebras characterize the behavior of digital circuits at a level (the switch level) intermediate between the conventional analog and logical levels. They provide the mathematical basis for an efficient new class of switch-level simulation programs used in MOS VLSI design.
Index Terms:
unknown values, Logic simulation, multiple-valued logic, pseudo- Boolean algebra, switching theory, switch-level simulation
Citation:
J.P. Hayes, "Uncertainty, Energy, and Multiple-Valued Logics," IEEE Transactions on Computers, vol. 35, no. 2, pp. 107-114, Feb. 1986, doi:10.1109/TC.1986.1676728
Usage of this product signifies your acceptance of the Terms of Use.