A model of register transfer systems with applications to microcode and VLSI correctness
The work
| Authors | M. J. C. Gordon |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1982 |
| Citekey | gordon1982model |
Where it appeared
| Publisher | University of Edinburgh, Department of Computer Science |
|---|---|
| Number in series | CSR-82-81 |
| School | University of Edinburgh, Department of Computer Science |
Identifiers
| DOI | 10.17863/cam.22684 |
|---|
Related
| Distinct from | gordon1983lcflsm |
|---|
A copy is held
pdf, 14.0 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-22 19:51 UTC |
| Approved by | a person 2026-10-22 21:03 UTC |
Cite it as
@techreport{gordon1982model,
title = {A model of register transfer systems with applications to microcode and VLSI correctness},
author = {M. J. C. Gordon},
year = {1982},
publisher = {University of Edinburgh, Department of Computer Science},
school = {University of Edinburgh, Department of Computer Science},
doi = {10.17863/cam.22684},
}
This record lives at https://refs.drheap.org/gordon1982model/ and will keep doing so.