Automatic verification of speed-independent circuit designs using the Circal system
The work
| Authors | Andrew Bailey |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1993 |
| Also known as | baileyautomatic |
| Citekey | bailey1993automatic |
Where it appeared
| Published in | Correct Hardware Design and Verification Methods |
|---|---|
| Publisher | Springer-Verlag |
| Series | Lecture Notes in Computer Science |
| Pages | 167--178 |
Identifiers
| DOI | 10.1007/bfb0021722 |
|---|---|
| ISBN | 3-540-56778-X |
Access
| Landing page | https://doi.org/10.1007/bfb0021722 |
|---|
Related
| Distinct from | milne1983circal |
|---|
From crossref.
Abstract
Alain Martin has developed a design method for asynchronous circuits whereby a specification is refined through a series of distinct stages to a gate implementation. The Circal system is able to check equivalence between terms of the Circal process algebra. The system can be used to verify the results of some of Martin's refinements and the gate implementations. It can also be used to analyse the operator network for the necessity of isochronic forks.
A copy is held
pdf, 597.0 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-22 21:15 UTC |
| Approved by | a person 2026-10-22 22:41 UTC |
Cite it as
@incollection{bailey1993automatic,
title = {Automatic verification of speed-independent circuit designs using the Circal system},
author = {Andrew Bailey},
year = {1993},
booktitle = {Correct Hardware Design and Verification Methods},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
pages = {167--178},
isbn = {3-540-56778-X},
doi = {10.1007/bfb0021722},
}
This record lives at https://refs.drheap.org/bailey1993automatic/ and will keep
doing so. It used to be called baileyautomatic, and those addresses still resolve to this one.