Inproceedings,
Semantics Driven Hardware Design, Implementation, and Verification with ReWire.
A. Procter, W. Harrison, I. Graves, M. Becchi, and G. Allwein.LCTES, page 13:1-13:10. ACM, (2015)
Meta data
- BibTeX key
- conf/lctrts/ProcterHGBA15
- entry type
- inproceedings
- booktitle
- LCTES
- year
- 2015
- pages
- 13:1-13:10
- publisher
- ACM
- crossref
- conf/lctrts/2015
- ee
- https://doi.org/10.1145/2808704.2754970
- isbn
- 978-1-4503-3257-6
- url
- http://dblp.uni-trier.de/db/conf/lctrts/lctes2015.html#ProcterHGBA15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lctrts/ProcterHGBA15
%A Procter, Adam M.
%A Harrison, William L.
%A Graves, Ian
%A Becchi, Michela
%A Allwein, Gerard
%B LCTES
%D 2015
%E Noh, Sam H.
%E Fischmeister, Sebastian
%E Xue, Jason
%I ACM
%K dblp
%P 13:1-13:10
%T Semantics Driven Hardware Design, Implementation, and Verification with ReWire.
%U http://dblp.uni-trier.de/db/conf/lctrts/lctes2015.html#ProcterHGBA15
%@ 978-1-4503-3257-6
@inproceedings{conf/lctrts/ProcterHGBA15,
added-at = {2021-06-23T00:00:00.000+0200},
author = {Procter, Adam M. and Harrison, William L. and Graves, Ian and Becchi, Michela and Allwein, Gerard},
biburl = {https://www.bibsonomy.org/bibtex/25e9f6b0f447013eae00adfa715507365/dblp},
booktitle = {LCTES},
crossref = {conf/lctrts/2015},
editor = {Noh, Sam H. and Fischmeister, Sebastian and Xue, Jason},
ee = {https://doi.org/10.1145/2808704.2754970},
interhash = {df20297561093b8ad025abf8c929f9cc},
intrahash = {5e9f6b0f447013eae00adfa715507365},
isbn = {978-1-4503-3257-6},
keywords = {dblp},
pages = {13:1-13:10},
publisher = {ACM},
timestamp = {2024-04-09T09:43:53.000+0200},
title = {Semantics Driven Hardware Design, Implementation, and Verification with ReWire.},
url = {http://dblp.uni-trier.de/db/conf/lctrts/lctes2015.html#ProcterHGBA15},
year = 2015
}