Formal Methods and VLSI Engineering Practice
The work
| Authors | Victoria Stavridou |
|---|---|
| Editors | |
| Type | article |
| Year | 1994 |
| Citekey | stavridou1994formal |
Where it appeared
| Published in | The Computer Journal |
|---|---|
| Publisher | Oxford University Press |
| Volume | 37 |
| Issue | 2 |
| Pages | 96--113 |
Identifiers
| DOI | 10.1093/comjnl/37.2.96 |
|---|---|
| OpenAlex | W2147604789 |
Access
| Landing page | https://doi.org/10.1093/comjnl/37.2.96 |
|---|
Empty on purpose
| copy |
Related
| Distinct from | bowen1994personal |
|---|---|
| Distinct from | stavridou1994gordons |
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
This paper surveys the state of the art in the use of formal verification for hardware design and discusses the transfer of such methods to industrial practice. We examine the characteristics of the VLSI engineering process and propose a set of criteria for evaluating the applicability of various formal approaches to the design of digital systems. We also discuss some topics for future research to enable effective technology transfer of formal methods to VLSI engineering practice
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-22 15:05 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{stavridou1994formal,
title = {Formal Methods and VLSI Engineering Practice},
author = {Victoria Stavridou},
year = {1994},
journal = {The Computer Journal},
publisher = {Oxford University Press},
volume = {37},
number = {2},
pages = {96--113},
doi = {10.1093/comjnl/37.2.96},
}
This record lives at https://refs.drheap.org/stavridou1994formal/ and will keep doing so.