Pseudo-Boolean Logic Circuits
- 1 July 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-35 (7) , 602-612
- https://doi.org/10.1109/tc.1986.1676801
Abstract
A new class of switch-level logic circuits intended for modeling digital MOS VLSI circuits is presented. These circuits, which are called pseudo-Boolean, are composed of a single (voltage) source, connectors, switches, attenuators, and wells. The latter two devices are digital versions of resistors and capacitors, respectively, and may assume an arbitrary but finite number of different sizes. Signals are bidirectional, and are assigned a finite set of values of the form (v, s) where v corresponds to voltage level and s corresponds to electrical current or charge level (logical strength). It is shown that these signal values and the associated logical operations form a generalization of Boolean algebra called pseudo-Boolean or Heyting algebra. The analysis of pseudo- Boolean circuits using discrete counterparts of Kirchoff's current law and the superposition principle is discussed, as well as the application of pseudo-Boolean techniques to digital simulation.Keywords
This publication has 8 references indexed in Scilit:
- Simulation of MOS Circuits by Decision DiagramsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
- Fault Modeling for Digital MOS Integrated CircuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1984
- A Switch-Level Model and Simulator for MOS Digital SystemsIEEE Transactions on Computers, 1984
- An Experimental MOS Fault Simulation Program CSASIMPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- A unified switching theory with applications to VLSI designProceedings of the IEEE, 1982
- MOSSIM: A Switch-Level Simulator for MOS LSIPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Duality between superconducting and semiconducting electronicsIEEE Journal of Solid-State Circuits, 1979
- Diagnosis & Reliable Design of Digital SystemsPublished by Springer Nature ,1976