Abstraction mechanisms for hardware verification
The work
| Authors | Thomas F. Melham |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1987 |
| Citekey | melham1987abstraction |
Where it appeared
| Publisher | University of Cambridge Computer Laboratory |
|---|---|
| Number in series | 106 |
| School | University of Cambridge Computer Laboratory |
Identifiers
| DOI | 10.48456/tr-106 |
|---|---|
| report_number | UCAM-CL-TR-106 |
Access
| Landing page | https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-106.html |
|---|
Related
| Distinct from | baungartenleon2026rtl |
|---|---|
| Distinct from | buchanan1980modelling |
| Distinct from | camilleri1986hardware |
| Distinct from | clocksin1985logic |
| Distinct from | dhingra1988formalising |
| Distinct from | gordon1983proving |
| Distinct from | melham1990formalizing |
| Distinct from | melham1993higher |
From bibtex.
Abstract
It is argued that techniques for proving the correctness of hardware designs must use abstraction mechanisms for relating formal descriptions at different levels of detail. Four such abstraction mechanisms and their formalisation in higher order logic are discussed.
A copy is held
pdf, 1.3 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-09-17 14:55 UTC |
| Approved by | a person 2026-09-23 14:11 UTC |
Filed under
Cite it as
@techreport{melham1987abstraction,
title = {Abstraction mechanisms for hardware verification},
author = {Thomas F. Melham},
year = {1987},
publisher = {University of Cambridge Computer Laboratory},
school = {University of Cambridge Computer Laboratory},
doi = {10.48456/tr-106},
}
This record lives at https://refs.drheap.org/melham1987abstraction/ and will keep doing so.