Verification of synchronous circuits by symbolic logic simulation
The work
| Authors | Randal E. Bryant |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1990 |
| Citekey | bryant1990verification |
Where it appeared
| Published in | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer New York |
| Pages | 14--24 |
Identifiers
| DOI | 10.1007/0-387-97226-9_21 |
|---|---|
| ISSN | 0302-9743 |
| ISBN | 978-0-387-97226-8 |
Access
| Landing page | https://doi.org/10.1007/0-387-97226-9_21 |
|---|
Cite it as
@incollection{bryant1990verification,
title = {Verification of synchronous circuits by symbolic logic simulation},
author = {Randal E. Bryant},
year = {1990},
booktitle = {Lecture Notes in Computer Science},
publisher = {Springer New York},
pages = {14--24},
isbn = {978-0-387-97226-8},
issn = {0302-9743},
doi = {10.1007/0-387-97226-9_21},
}
This record lives at https://refs.drheap.org/bryant1990verification/ and will keep doing so.