diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-06-09 09:39:07 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-06-09 10:03:58 +0000 |
commit | e7fa1c8a8dbcf42c7f609a213bbd488fc8eb05bc (patch) | |
tree | 7bf8c62cd7eac6049c13081b252b7cba8e0d7575 /references.bib | |
parent | 493692233b50ae4ae7efe9074e9dc24c0dbc8fcc (diff) | |
download | oopsla21_fvhls-e7fa1c8a8dbcf42c7f609a213bbd488fc8eb05bc.tar.gz oopsla21_fvhls-e7fa1c8a8dbcf42c7f609a213bbd488fc8eb05bc.zip |
Update on Overleaf.
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}, +} + |