Formal hardware verification methods: A survey
The work
| Authors | Aarti Gupta |
|---|---|
| Editors | |
| Type | article |
| Year | 1992 |
| Citekey | gupta1992formal |
Where it appeared
| Published in | Formal Methods in System Design |
|---|---|
| Publisher | Springer Science+Business Media |
| Volume | 1 |
| Issue | 2 |
| Pages | 151--238 |
Identifiers
| DOI | 10.1007/bf00121125 |
|---|---|
| OpenAlex | W1999890019 |
Access
| Landing page | https://doi.org/10.1007/bf00121125 |
|---|
Empty on purpose
| copy |
Related
| Distinct from | angelo1993comparison |
|---|---|
| Distinct from | cohn1989notion |
| Distinct from | mermet1997survey |
| Distinct from | tahar1998three |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Growing advances in VLSI technology have led to an increased level of complexity in current hardware systems. Late detection of design errors typically results in higher costs due to the associated time delay as well as loss of production. Thus it is important that hardware designs be free of errors. Formal verification has become an increasingly important technique towards establishing the correctness of hardware designs. In this article we survey the research that has been done in this area, with an emphasis on more recent trends. We present a classification framework for the various methods, based on the forms of the specification, the implementation, and the proff method. This framework enables us to better highlight the relationships and interactions between seemingly different approaches.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-16 00:11 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{gupta1992formal,
title = {Formal hardware verification methods: A survey},
author = {Aarti Gupta},
year = {1992},
journal = {Formal Methods in System Design},
publisher = {Springer Science+Business Media},
volume = {1},
number = {2},
pages = {151--238},
doi = {10.1007/bf00121125},
}
This record lives at https://refs.drheap.org/gupta1992formal/ and will keep doing so.