%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 }