Practical formal verification in microprocessor design
The work
| Authors | R.B. Jones; J.W. O'Leary; C.-J.H. Seger; M.D. Aagaard; T.F. Melham |
|---|---|
| Editors | |
| Type | article |
| Year | 2001 |
| Citekey | jones2001practical |
Where it appeared
| Published in | IEEE Design & Test of Computers |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Volume | 18 |
| Issue | 4 |
| Pages | 16--25 |
Identifiers
| DOI | 10.1109/54.936245 |
|---|---|
| ISSN | 0740-7475 |
Access
| Landing page | https://doi.org/10.1109/54.936245 |
|---|
Related
| Distinct from | bryant1991methodology |
|---|---|
| Distinct from | oleary1999formally |
| Distinct from | seger1995formal |
| Distinct from | seger2005industrially |
A copy is held
pdf, 391.0 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:14 UTC |
| Approved by | a person 2026-09-23 14:06 UTC |
Cite it as
@article{jones2001practical,
title = {Practical formal verification in microprocessor design},
author = {R.B. Jones and J.W. O'Leary and C.-J.H. Seger and M.D. Aagaard and T.F. Melham},
year = {2001},
journal = {IEEE Design \& Test of Computers},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
volume = {18},
number = {4},
pages = {16--25},
issn = {0740-7475},
doi = {10.1109/54.936245},
}
This record lives at https://refs.drheap.org/jones2001practical/ and will keep doing so.