Technical reports
Abstraction mechanisms for hardware verification
Thomas F. Melham
May 1987, 26 pages
DOI: 10.48456/tr-106
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.
Full text
PDF (1.3 MB)
BibTeX record
@TechReport{UCAM-CL-TR-106, author = {Melham, Thomas F.}, title = {{Abstraction mechanisms for hardware verification}}, year = 1987, month = may, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-106.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-106}, number = {UCAM-CL-TR-106} }