Models and logic of MOS circuits: Lectures for the Marktoberdorf Summerschool, August 1986

The work

AuthorsGlynn Winskel
Editors
Typetechreport
Year1986
Citekeywinskel1986models

Where it appeared

PublisherUniversity of Cambridge, Computer Laboratory
Number in seriesUCAM-CL-TR-96
SchoolUniversity of Cambridge, Computer Laboratory

Access

Landing pagehttps://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-96.html

Related

Distinct fromwinskel1987models

From bibtex.

Abstract

Various models of hardware have been proposed though virtually all of them do not model circuits adequately enough to support and provide a formal basis for many of the informal arguments used by designers of MOS circuits. Such arguments use rather crude discrete notions of strength—designers cannot be too finicky about precise resistances and capacitances when building a chip—as well as subtle derived notions of information flow between points in the circuit. One model, that of R.E.Bryant, tackles such issues in reasonable generality and has been used as the basis of several hardware simulators. However Bryant's model is not compositional. These lectures introduce Bryant's ideas and present a compositional model for the behaviour of MOS circuits when the input is steady, show how this leads to a logic, and indicate the difficulties in providing a full and accurate treatment for circuits with changing inputs.

A copy is held

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

How it got here

How it got hereagent via bibtex
Added2026-10-23 00:09 UTC
Approved bya person 2026-10-23 11:26 UTC

Filed under

the-switch-or-the-curve winskel

Cite it as

@techreport{winskel1986models,
  title        = {Models and logic of MOS circuits: Lectures for the Marktoberdorf Summerschool, August 1986},
  author       = {Glynn Winskel},
  year         = {1986},
  publisher    = {University of Cambridge, Computer Laboratory},
  school       = {University of Cambridge, Computer Laboratory},
}

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