Verifying a Static RAM Design by Logic Simulation
The work
| Authors | Randal E. Bryant |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1988 |
| Citekey | bryant1988verifying |
Where it appeared
| Published in | Advanced Research in VLSI: Proceedings of the Fifth MIT Conference |
|---|---|
| Pages | 335--350 |
Identifiers
| DOI | 10.7551/mitpress/1102.003.0027 |
|---|
A copy is held
pdf, 178.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 bibtex |
|---|---|
| Added | 2026-10-05 22:03 UTC |
| Approved by | a person 2026-10-06 07:51 UTC |
Filed under
Cite it as
@inproceedings{bryant1988verifying,
title = {Verifying a Static RAM Design by Logic Simulation},
author = {Randal E. Bryant},
year = {1988},
booktitle = {Advanced Research in VLSI: Proceedings of the Fifth MIT Conference},
pages = {335--350},
doi = {10.7551/mitpress/1102.003.0027},
}
This record lives at https://refs.drheap.org/bryant1988verifying/ and will keep doing so.