Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45726
Title: HARDWARE VERIFICATION BY FORMAL PROOF
Authors: Birtwistle, Graham
Graham, Brian
Melham, Tom
Schediwy, Rich
Keywords: Computer Science
Issue Date: 1-Oct-1988
Abstract: Hardware verification is the art of proving formally that, to within the tolerance of an underlying model, a design meets (or perhaps does not meet) its specification. This paper is an introduction to hardware verification and its limitations. We illustrate the technique by specifying and verifying an $x$ or gate and a ripple carry sub-system using the HOL notation, (see [2,8,9]), and then demonstrate its capabilities with sample applications to VLSI CAD and system re-implementation.
URI: http://hdl.handle.net/1880/45726
Appears in Collections:Birtwistle, Graham

Files in This Item:
File Description SizeFormat 
1988-328-40.pdf1.61 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.