Boolean Analysis of MOS Circuits

The work

AuthorsRandal E. Bryant
Editors
Typearticle
Year1987
Citekeybryant1987boolean

Where it appeared

Published inIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Volume6
Issue4
Pages634--649

Identifiers

DOI10.1109/tcad.1987.1270310
ISSN0278-0070

Access

URLhttps://archive.org/details/DTIC_ADA188617

Related

Distinct frombryant1981switchlevel
Distinct frombryant1982mossim
Distinct frombryant1985symbolic
Distinct frombryant1986graphbased
Distinct frombryant1987algorithmic
Distinct frombryant1987cosmos
Distinct frombryant1991extraction
Distinct frombryant2018binary
Distinct fromdhingra1987formal
Distinct fromfugger2016unfaithful
Distinct fromleeser1988reasoning
Distinct fromseger1995formal

From crossref.

Abstract

The switch-level model represents a digital metal-oxide semiconductor (MOS) circuit as a network of charge storage nodes connected by resistive transistor switches. The functionality of such a network can be expressed as a series of systems of Boolean equations. Solving these equations symbolically yields a set of Boolean formulas that describe the mapping from input and current state to the new network state. This analysis supports the same class of networks as the switch-level simulator MOSSIM II and provides the same functionality, including the handling of bidirectional effects and indeterminate (X) logic values. In the worst case, the analysis of an n node network can yield a set of formulas containing a total of O(n^3) operations. However, all but a limited set of dense, pass-transistor networks give formulas with O(n) total operations. The analysis can serve as the basis of efficient programs for a variety of logic design tasks, including: logic simulation (on both conventional and special purpose computers), fault simulation, test generation, and symbolic verification.

A copy is held

pdf, 390.3 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereagent via crossref
Added2026-09-16 01:54 UTC
Approved bya person 2026-09-23 14:13 UTC

Filed under

bryant state-space-not-proof the-same-function-twice the-switch-or-the-curve

Cite it as

@article{bryant1987boolean,
  title        = {Boolean Analysis of MOS Circuits},
  author       = {Randal E. Bryant},
  year         = {1987},
  journal      = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  publisher    = {Institute of Electrical and Electronics Engineers (IEEE)},
  volume       = {6},
  number       = {4},
  pages        = {634--649},
  issn         = {0278-0070},
  doi          = {10.1109/tcad.1987.1270310},
}

This record lives at https://refs.drheap.org/bryant1987boolean/ and will keep doing so.