An industrially effective environment for formal hardware verification
The work
| Authors | C.-J.H. Seger; R.B. Jones; J.W. O'Leary; T. Melham; M.D. Aagaard; C. Barrett; D. Syme |
|---|---|
| Editors | |
| Type | article |
| Year | 2005 |
| Citekey | seger2005industrially |
Where it appeared
| Published in | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Volume | 24 |
| Issue | 9 |
| Pages | 1381--1405 |
Identifiers
| DOI | 10.1109/tcad.2005.850814 |
|---|---|
| ISSN | 0278-0070 |
Access
| Landing page | https://doi.org/10.1109/tcad.2005.850814 |
|---|
Related
| Distinct from | jones2001practical |
|---|---|
| Distinct from | seger1995formal |
A copy is held
pdf, 533.7 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-22 14:22 UTC |
| Approved by | a person 2026-09-23 14:05 UTC |
Cite it as
@article{seger2005industrially,
title = {An industrially effective environment for formal hardware verification},
author = {C.-J.H. Seger and R.B. Jones and J.W. O'Leary and T. Melham and M.D. Aagaard and C. Barrett and D. Syme},
year = {2005},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
volume = {24},
number = {9},
pages = {1381--1405},
issn = {0278-0070},
doi = {10.1109/tcad.2005.850814},
}
This record lives at https://refs.drheap.org/seger2005industrially/ and will keep doing so.