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}
}