Skip to main content
SpringerLink
Log in
Book cover

International Conference on Embedded Software and Systems

ICESS 2004: Embedded Software and Systems pp 536–541Cite as

Formal Verification of a Ubiquitous Hardware Component

  • Conference paper

  • 1163 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3605))

Abstract

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

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kern, C., Greenstreet, M.: Formal Verification in Hardware Design: A Survey. ACM Transactions on Design Automation of Electronic Systems 4, 123–193 (1999)

    Article  Google Scholar 

  2. Gupta, A.: Formal Hardware Verification Methods: A Survey. Formal Methods in System Design 1, 151–238 (1992)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Turku Centre for Computer Science (TUCS) and Department of Computer Science, Åbo Akademi University, FIN-20520, Turku, Finland

    Lu Yan

Authors
  1. Lu Yan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Computer Science, Zhejiang University, 310027, Hangzhou, Zhejiang, China

    Zhaohui Wu

  2. College of Computer Science, Zhejiang University, 973 WSN Joint Lab

    Chun Chen  & Jiajun Bu  & 

  3. Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200030, Shanghai, China

    Minyi Guo

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yan, L. (2005). Formal Verification of a Ubiquitous Hardware Component. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds) Embedded Software and Systems. ICESS 2004. Lecture Notes in Computer Science, vol 3605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535409_78

Download citation

  • DOI: https://doi.org/10.1007/11535409_78

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28128-3

  • Online ISBN: 978-3-540-31823-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation