diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 17:51:00 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 17:51:00 +0000 |
commit | 5da4afb0d561620c8be7c3f1ae5c6d01ba7b6017 (patch) | |
tree | b1eff719b69dd82576ca4932e34dd17a473226ee /references.bib | |
parent | a0b2835c53ac604e22219f7d931112b811f2143e (diff) | |
download | latte21_hlstpc-5da4afb0d561620c8be7c3f1ae5c6d01ba7b6017.tar.gz latte21_hlstpc-5da4afb0d561620c8be7c3f1ae5c6d01ba7b6017.zip |
Add more content about future work and conclusion
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/references.bib b/references.bib index c4d8afe..42de928 100644 --- a/references.bib +++ b/references.bib @@ -191,3 +191,32 @@ url = {http://web.cse.ohio-state.edu/~pouchet.2/software/polybench/}, year = {2020}, } + +@inproceedings{cong06_sdc, + author = {J. {Cong} and {Zhiru Zhang}}, + title = {An efficient and versatile scheduling algorithm based on SDC formulation}, + booktitle = {2006 43rd ACM/IEEE Design Automation Conference}, + year = 2006, + pages = {433-438}, + doi = {10.1145/1146909.1147025}, + url = {https://doi.org/10.1145/1146909.1147025}, + ISSN = {0738-100X}, + month = {July} +} + +@inproceedings{loow19_proof_trans_veril_devel_hol, + author = {L\"{o}\"{o}w, Andreas and Myreen, Magnus O.}, + title = {A Proof-producing Translator for Verilog Development in HOL}, + tags = {hls, semantics}, + booktitle = {Proceedings of the 7th International Workshop on Formal Methods in Software Engineering}, + year = 2019, + pages = {99--108}, + doi = {10.1109/FormaliSE.2019.00020}, + url = {https://doi.org/10.1109/FormaliSE.2019.00020}, + acmid = 3338828, + address = {Piscataway, NJ, USA}, + location = {Montreal, Quebec, Canada}, + numpages = 10, + publisher = {IEEE Press}, + series = {FormaliSE '19} +} |