Inproceedings,
Validating SPARK: High Level Synthesis Compiler.
S. Bandyopadhyay, D. Sarkar, and C. Mandal.ISVLSI, page 195-198. IEEE Computer Society, (2015)
Meta data
- BibTeX key
- conf/isvlsi/BandyopadhyaySM15
- entry type
- inproceedings
- booktitle
- ISVLSI
- year
- 2015
- pages
- 195-198
- publisher
- IEEE Computer Society
- crossref
- conf/isvlsi/2015
- ee
- https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2015.56
- isbn
- 978-1-4799-8719-1
- url
- http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2015.html#BandyopadhyaySM15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/isvlsi/BandyopadhyaySM15
%A Bandyopadhyay, Soumyadip
%A Sarkar, Dipankar
%A Mandal, Chittaranjan A.
%B ISVLSI
%D 2015
%I IEEE Computer Society
%K dblp
%P 195-198
%T Validating SPARK: High Level Synthesis Compiler.
%U http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2015.html#BandyopadhyaySM15
%@ 978-1-4799-8719-1
@inproceedings{conf/isvlsi/BandyopadhyaySM15,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Bandyopadhyay, Soumyadip and Sarkar, Dipankar and Mandal, Chittaranjan A.},
biburl = {https://www.bibsonomy.org/bibtex/249c5a3916a23041226f148e6965e170c/dblp},
booktitle = {ISVLSI},
crossref = {conf/isvlsi/2015},
ee = {https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2015.56},
interhash = {975590c26e72fba1c01c9b46d9c4133a},
intrahash = {49c5a3916a23041226f148e6965e170c},
isbn = {978-1-4799-8719-1},
keywords = {dblp},
pages = {195-198},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T11:08:41.000+0200},
title = {Validating SPARK: High Level Synthesis Compiler.},
url = {http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2015.html#BandyopadhyaySM15},
year = 2015
}