diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 63a9f94..45c8419 100644 --- a/references.bib +++ b/references.bib @@ -83,3 +83,28 @@ urldate = {2020-06-06}, year = 2020, } + +@InProceedings{kundu+08, +author="Kundu, Sudipta +and Lerner, Sorin +and Gupta, Rajesh", +editor="Gupta, Aarti +and Malik, Sharad", +title="Validating High-Level Synthesis", +booktitle="Computer Aided Verification (CAV)", +year="2008", +publisher="Springer", +pages="459--472", +} + +@INPROCEEDINGS {chapman+92, +author = {Richard Chapman and Geoffrey Brown and Miriam Leeser}, +booktitle = {European Conference on Design Automation (EDAC)}, +title = {Verified high-level synthesis in BEDROC}, +year = {1992}, +pages = {59--63}, +doi = {10.1109/EDAC.1992.205894}, +url = {https://doi.ieeecomputersociety.org/10.1109/EDAC.1992.205894}, +publisher = {IEEE Computer Society}, +} + |