A Survey of Formal Hardware Verification Tools Developed in Europe
The work
| Authors | Jean Mermet; Adam Morawiec |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1997 |
| Citekey | mermet1997survey |
Where it appeared
| Published in | Asia-Pacific Conference on Hardware Description Languages (APCHDL'97) |
|---|
Related
| Distinct from | camilleri1988simulation |
|---|---|
| Distinct from | cohn1987proof |
| Distinct from | guzmanmiranda2025fvm |
| Distinct from | herbert1988case |
| Distinct from | joyce1988formal |
| Distinct from | kumar1996formal |
| Distinct from | melham1993higher |
| Distinct from | oulkaid2025modeles |
From bibtex.
Abstract
This article gives a survey on formal hardware verification tools developed in Europe. It describes the main objectives and domains of application of the formal methods for the verification of electronic systems. Further, it gives an overview of the formal methods used in the most significant European research in this domain. It attempts to introduce some classification scheme for the existing commercial or prototype tools, which is based on the different verification aspects: type of the circuit to verify, abstraction level, verification objective, mathematical model, formal proof technique, input formalism, diagnostic method incorporated and the others. The most significant features of the methods and tools are summarized, and some advantages and drawbacks are discussed. Finally, some conclusions concerning the possible future trends in development are drawn.
A copy is held
pdf, 69.6 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-15 21:43 UTC |
| Approved by | a person 2026-09-16 09:29 UTC |
Filed under
Cite it as
@inproceedings{mermet1997survey,
title = {A Survey of Formal Hardware Verification Tools Developed in Europe},
author = {Jean Mermet and Adam Morawiec},
year = {1997},
booktitle = {Asia-Pacific Conference on Hardware Description Languages (APCHDL'97)},
}
This record lives at https://refs.drheap.org/mermet1997survey/ and will keep doing so.