Microcode Verification – Another Piece of the Microprocessor Verification Puzzle
The work
| Authors | Jared Davis; Anna Slobodova; Sol Swords |
|---|---|
| Editors | |
| Type | misc |
| Year | 2014 |
| Citekey | anon2014microcode |
Where it appeared
| Published in | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer International Publishing |
| Pages | 1--16 |
Identifiers
| DOI | 10.1007/978-3-319-08970-6_1 |
|---|
A copy is held
pdf, 391.5 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-09-22 14:25 UTC |
| Approved by | a person 2026-09-23 14:05 UTC |
Filed under
Cite it as
@misc{anon2014microcode,
title = {Microcode Verification – Another Piece of the Microprocessor Verification Puzzle},
author = {Jared Davis and Anna Slobodova and Sol Swords},
year = {2014},
journal = {Lecture Notes in Computer Science},
publisher = {Springer International Publishing},
pages = {1--16},
doi = {10.1007/978-3-319-08970-6_1},
}
This record lives at https://refs.drheap.org/anon2014microcode/ and will keep doing so.