Department of Computer Science and Technology

Technical reports

Abstraction mechanisms for hardware verification

Thomas F. Melham

May 1987, 26 pages

DOI: 10.48456/tr-106


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

  author =	 {Melham, Thomas F.},
  title = 	 {{Abstraction mechanisms for hardware verification}},
  year = 	 1987,
  month = 	 may,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-106},
  number = 	 {UCAM-CL-TR-106}