• 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. In: Z.; Guo M.; Chen C.; Bu J. Wu (Ed.), Proceedings of the First International Conference on Embedded Software and System (ICESS 2004), Hangzhou, China, December 9-10, 2004, Lecture Notes in Computer Science 3605, Springer-Verlag, 2005.

Abstract:

This paper is a case study of the verification of a sevensegment
LED display decoder circuit design, in which two popular verification
tools, HOL and PVS, are compared and evaluated.

BibTeX entry:

@INPROCEEDINGS{inpYan05a,
  title = {Formal Verification of a Ubiquitous Hardware Component},
  booktitle = {Proceedings of the First International Conference on Embedded Software and System (ICESS 2004), Hangzhou, China, December 9-10, 2004},
  author = {Yan, Lu},
  volume = {3605},
  series = {Lecture Notes in Computer Science},
  editor = {Wu, Z.; Guo M.; Chen C.; Bu J.},
  publisher = {Springer-Verlag},
  year = {2005},
}

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

Publication Forum rating of this publication: level 1

Edit publication