A Compositional Model of MOS Circuits
The work
| Authors | Glynn Winskel |
|---|---|
| Editors | Graham Birtwistle, P. A. Subrahmanyam |
| Type | incollection |
| Year | 1988 |
| Citekey | winskel1988compositional |
Where it appeared
| Published in | VLSI Specification, Verification and Synthesis |
|---|---|
| Publisher | Kluwer Academic Publishers |
| Series | The Kluwer International Series in Engineering and Computer Science |
| Number in series | 35 |
| Pages | 323--347 |
Identifiers
| DOI | 10.1007/978-1-4613-2007-4_11 |
|---|---|
| OpenAlex | W17786439 |
Access
| Landing page | https://doi.org/10.1007/978-1-4613-2007-4_11 |
|---|
Related
| Distinct from | bryant1981switchlevel |
|---|---|
| Distinct from | camilleri1986hardware |
| Distinct from | fugger2016unfaithful |
| Distinct from | gammie2013synchronous |
| Distinct from | maier2021composable |
| Distinct from | winskel1987models |
| Distinct from | winskel1987relating |
| Distinct from | yan2012oscillator |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
This paper describes a compositional model for MOS circuits. Following Bryant in [1] it covers some effects of capacitance and resistance used frequently in designs. Bryant’s model has formed the basis of several hardware simulators. From the point of view of verification, however, it suffers the inadequacy that it is not compositional, an expression which will be explained further. This makes it hard to use the model to reason in a structured way.
A copy is held
pdf, 2.4 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-15 23:33 UTC |
| Approved by | a person 2026-09-23 14:11 UTC |
Filed under
Cite it as
@incollection{winskel1988compositional,
title = {A Compositional Model of MOS Circuits},
author = {Glynn Winskel},
editor = {Graham Birtwistle, P. A. Subrahmanyam},
year = {1988},
booktitle = {VLSI Specification, Verification and Synthesis},
publisher = {Kluwer Academic Publishers},
series = {The Kluwer International Series in Engineering and Computer Science},
pages = {323--347},
doi = {10.1007/978-1-4613-2007-4_11},
}
This record lives at https://refs.drheap.org/winskel1988compositional/ and will keep doing so.