ENGLISH

An Introduction to Formal Hardware Verification

By Franz Schwabl

Book information

Publisher
Springer
Year
2005
ISBN
3-540-25901-5
LCC
QC174.12 .S38813 2005
Open Library ID
OL16669629M
Language
english
Format
PS
Filesize
389 kB (398516 bytes)
Edition
3rd
Pages
27\27
Topic
Physics
Library
mexmat
Time added
2009-07-20 03:45:11

Description

Formal hardware verification has recently attracted considerable interest. The need for "correct" designs in safely-critical applications, coupled with the major cost associated with products delivered late, are two of the main factors behind this. In addition, as the complexity of the designs increase, an ever smaller percentage of the possible behaviors of the designs will be simulated. Hence, the confidence in the designs obtained by simulation is rapidly diminishing. This paper provides an introduction to the topic by describing three of the main approaches to formal hardware verification: theorem-proving, model checking, and symbolic simulation. We outline the underlying theory behind each approach, we illustrate the approaches by applying them to simple examples, and we discuss their strengths and weaknesses. We conclude the paper by describing current on-going work on combining the approaches to achieve multi-level verification approaches.

Similar books