%0 Conference Paper %1 conf/fpga/YangGFCR16 %A Yang, Liwei %A Gurumani, Swathi T. %A Fahmy, Suhaib A. %A Chen, Deming %A Rupnow, Kyle %B FPGA %D 2016 %E Chen, Deming %E Greene, Jonathan W. %I ACM %K dblp %P 278 %T Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only). %U http://dblp.uni-trier.de/db/conf/fpga/fpga2016.html#YangGFCR16 %@ 978-1-4503-3856-1

@inproceedings{conf/fpga/YangGFCR16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Yang, Liwei and Gurumani, Swathi T. and Fahmy, Suhaib A. and Chen, Deming and Rupnow, Kyle}, biburl = {https://www.bibsonomy.org/bibtex/2e977877e0cf52c0b289f844374e84242/dblp}, booktitle = {FPGA}, crossref = {conf/fpga/2016}, editor = {Chen, Deming and Greene, Jonathan W.}, ee = {https://doi.org/10.1145/2847263.2847313}, interhash = {c66ac8015a1ae2653b8178564c5761ec}, intrahash = {e977877e0cf52c0b289f844374e84242}, isbn = {978-1-4503-3856-1}, keywords = {dblp}, pages = 278, publisher = {ACM}, timestamp = {2018-11-07T12:47:21.000+0100}, title = {Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only).}, url = {http://dblp.uni-trier.de/db/conf/fpga/fpga2016.html#YangGFCR16}, year = 2016 }