Formal verification of a ubiquitous hardware component

Authors:
Lu Yan
Affiliations:
Turku Centre for Computer Science (TUCS) and Department of Computer Science, Åbo Akademi University, Turku, Finland
Venue:
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Year:
2004

Citing 2
Cited 0

Formal hardware verification methods: a survey

Formal Methods in System Design - Special issue on computer-aided verification: general methods
Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.00

Visualization

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.