Model Checking in Industrial Hardware Design
The work
| Authors | Jörg Bormann |
|---|---|
| Editors | |
| Type | misc |
| Year | 1995 |
| Citekey | bormann1995model |
Where it appeared
| Published in | ACM/IEEE Design Automation Conference (DAC) |
|---|---|
| Publisher | Association for Computing Machinery |
Identifiers
| DOI | 10.1109/dac.1995.249963 |
|---|---|
| OpenAlex | W4245802523 |
Access
| Landing page | https://doi.org/10.1109/dac.1995.249963 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/217474.217545 |
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
Abstract|This paper describes how model checking has been integrated into an industrial hardware design process.We present an application oriented speci cation language for assumption/commitment s t yle properties and an abstraction algorithm that generates an intuitive and ecient representation of synchronous circuits.These approaches are embedded in our Circuit Veri cation Environment CVE.They are demonstrated on two industrial applications.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 14:12 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{bormann1995model,
title = {Model Checking in Industrial Hardware Design},
author = {Jörg Bormann},
year = {1995},
journal = {ACM/IEEE Design Automation Conference (DAC)},
publisher = {Association for Computing Machinery},
doi = {10.1109/dac.1995.249963},
}
This record lives at https://refs.drheap.org/bormann1995model/ and will keep doing so.