diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-09 11:04:41 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-09 11:04:41 +0100 |
commit | 99dcda680cfa6cf64066aa92c2664130d53f8ab4 (patch) | |
tree | f981bed51a8472fd1d43a64f7ab7f86ec9d98738 /references.bib | |
parent | 28a71bb6ee259d6492f479814984dbd4260e94d6 (diff) | |
parent | e7fa1c8a8dbcf42c7f609a213bbd488fc8eb05bc (diff) | |
download | oopsla21_fvhls-99dcda680cfa6cf64066aa92c2664130d53f8ab4.tar.gz oopsla21_fvhls-99dcda680cfa6cf64066aa92c2664130d53f8ab4.zip |
Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 82bba12..77ee24c 100644 --- a/references.bib +++ b/references.bib @@ -233,3 +233,27 @@ publisher = {Association for Computing Machinery}, series = {POPL '08} } + +@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}, +} |