Models and logic of MOS circuits
The work
| Authors | Glynn Winskel |
|---|---|
| Editors | |
| Type | misc |
| Year | 1987 |
| Also known as | anon1987models |
| Citekey | winskel1987models |
Where it appeared
| Published in | Logic of Programming and Calculi of Discrete Design |
|---|---|
| Publisher | Springer |
| Pages | 367--413 |
Identifiers
| DOI | 10.1007/978-3-642-87374-4_14 |
|---|
Access
| Free full text | https://www.cl.cam.ac.uk/~gw104/ModelsLogicMOS.pdf |
|---|
Related
| Distinct from | camilleri1986hardware |
|---|---|
| Distinct from | camilleri1988simulation |
| Distinct from | dhingra1988formalising |
| Distinct from | gammie2013synchronous |
| Distinct from | hunt1994fm8501 |
| Distinct from | melham1990formalizing |
| Distinct from | oulkaid2025modeles |
| Distinct from | winskel1987relating |
| Distinct from | winskel1988compositional |
From unpaywall.
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, 3.7 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-09-15 23:34 UTC |
| Approved by | a person 2026-09-16 09:20 UTC |
Filed under
Cite it as
@misc{winskel1987models,
title = {Models and logic of MOS circuits},
author = {Glynn Winskel},
year = {1987},
journal = {Logic of Programming and Calculi of Discrete Design},
publisher = {Springer},
pages = {367--413},
doi = {10.1007/978-3-642-87374-4_14},
}
This record lives at https://refs.drheap.org/winskel1987models/ and will keep
doing so. It used to be called anon1987models, and those addresses still resolve to this one.