• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Verification of a Ubiquitous Hardware Component

Lu Yan, Formal Verification of a Ubiquitous Hardware Component. TUCS Technical Reports 637, Turku Centre for Computer Science, 2004.

Abstract:

The paper begins by discussing various approaches to hardware
specification and verification. The main emphasis is on using
mechanical verification tools to assist the verification process.
The case study is the verification of a seven-segment
LED display decoder circuit design, in which two popular verification
tools, HOL and PVS, are compared and evaluated.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tYan04a,
  title = {Formal Verification of a Ubiquitous Hardware Component},
  author = {Yan, Lu},
  number = {637},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2004},
  ISBN = {952-12-1458-9},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication