Circal: A calculus for circuit description
The work
| Authors | George Milne |
|---|---|
| Editors | |
| Type | article |
| Year | 1983 |
| Citekey | milne1983circal |
Where it appeared
| Published in | Integration, the VLSI Journal |
|---|---|
| Publisher | Elsevier BV |
| Volume | 1 |
| Issue | 2-3 |
| Pages | 121--160 |
Identifiers
| DOI | 10.1016/s0167-9260(83)80017-0 |
|---|---|
| OpenAlex | W1997273919 |
| ISSN | 0167-9260 |
Access
| Landing page | https://doi.org/10.1016/s0167-9260(83)80017-0 |
|---|
Empty on purpose
| copy |
Related
| Distinct from | angelo1993comparison |
|---|---|
| Distinct from | bailey1993automatic |
| Distinct from | camilleri1986hardware |
| Distinct from | cardelli1982algebraic |
| Distinct from | davie1988formal |
| Distinct from | marshall1986synthesis |
| Distinct from | mateescu2020modeling |
| Distinct from | milne1980representation |
| Distinct from | ohlinger2021involution |
| Distinct from | taylor1998micropipeline |
| Distinct from | traub1986formal |
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
A calculus in which the behaviour of circuits may be described and analysed is presented. A concurrent composition operator allows descriptions of components to be composed to give descriptions of a complete device. This operator allows synchronous and asynchronous behaviour to be naturally modelled so allowing us to represent and analyse timing issues in circuits. An abstraction operator allows for the formalisation of hierarchical design notions and causes the behaviour of a circuit to be described only in terms of its potential interactions with the environment. To illustrate the use of the calculus, various VLSI circuits have their behaviour described in Circal.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-16 05:03 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{milne1983circal,
title = {Circal: A calculus for circuit description},
author = {George Milne},
year = {1983},
journal = {Integration, the VLSI Journal},
publisher = {Elsevier BV},
volume = {1},
number = {2-3},
pages = {121--160},
issn = {0167-9260},
doi = {10.1016/s0167-9260(83)80017-0},
}
This record lives at https://refs.drheap.org/milne1983circal/ and will keep doing so.