The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations
The work
| Authors | Yao Hsiao; Dominic P. Mulligan; Nikos Nikoleris; Gustavo Petri; Caroline Trippel |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2021 |
| Citekey | hsiao2021synthesizing |
Where it appeared
| Published in | MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture |
|---|---|
| Publisher | ACM |
| Pages | 679--694 |
Identifiers
| DOI | 10.1145/3466752.3480087 |
|---|
Access
| Landing page | https://doi.org/10.1145/3466752.3480087 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-24 03:03 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@inproceedings{hsiao2021synthesizing,
title = {Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations},
author = {Yao Hsiao and Dominic P. Mulligan and Nikos Nikoleris and Gustavo Petri and Caroline Trippel},
year = {2021},
booktitle = {MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture},
publisher = {ACM},
pages = {679--694},
doi = {10.1145/3466752.3480087},
}
This record lives at https://refs.drheap.org/hsiao2021synthesizing/ and will keep doing so.