Introduction to Formal Hardware Verification

  title={Introduction to Formal Hardware Verification},
  author={Dr. Thomas Kropf},
  booktitle={Springer Berlin Heidelberg},
ions. As stated before, an important aspect of a formal specification is its abstract view of the system: we only want to state the intended behavior but not necessarily how it is implemented. Thus, irrelevant details are ignored and the behavior is generalized to central properties and characteristics, without prematurely constraining implementation choices. Moreover, following Fig. 1-5, a specification is usually given on a higher abstraction level compared to the corresponding implementation… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 202 citations. REVIEW CITATIONS

132 Figures & Tables



Citations per Year

202 Citations

Semantic Scholar estimates that this publication has 202 citations based on the available data.

See our FAQ for additional information.