diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 100 |
1 files changed, 97 insertions, 3 deletions
diff --git a/references.bib b/references.bib index 7810109..0f35096 100644 --- a/references.bib +++ b/references.bib @@ -37,14 +37,14 @@ @misc{intel_hls, publisher = {Intel}, title = {Intel High Level Synthesis Compiler}, - year = 2021, + year = 2022, url = {https://www.intel.com/content/www/us/en/software/programmable/quartus-prime/hls-compiler.html}, } @misc{xilinx_vitis, publisher = {Xilinx Inc.}, title = {Vitis HLS}, - year = 2021, + year = 2022, url = {https://www.xilinx.com/products/design-tools/vivado/integration/esl-design.html}, } @@ -268,7 +268,7 @@ @misc{silveroak, author = {Google}, title = {Project Silver Oak: Formal specification and verification of hardware, especially for security and privacy}, - year = {2019}, + year = {2021}, publisher = {GitHub}, journal = {GitHub repository}, howpublished = {\url{https://github.com/project-oak/silveroak}} @@ -321,4 +321,98 @@ timestamp = {Thu, 14 Oct 2021 08:48:52 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/SixBM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@misc{polybench, +author = {Pouchet, Louis-No\"el}, +title = {PolyBench/C: the Polyhedral Benchmark suite}, +url = {https://sourceforge.net/projects/polybench/}, +year = {2016}, +} + +@inproceedings{csmith, + author = {Xuejun Yang and + Yang Chen and + Eric Eide and + John Regehr}, + editor = {Mary W. Hall and + David A. Padua}, + title = {Finding and understanding bugs in {C} compilers}, + booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming + Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA, + June 4-8, 2011}, + pages = {283--294}, + publisher = {{ACM}}, + year = {2011}, + url = {https://doi.org/10.1145/1993498.1993532}, + doi = {10.1145/1993498.1993532}, + timestamp = {Mon, 02 Aug 2021 08:40:03 +0200}, + biburl = {https://dblp.org/rec/conf/pldi/YangCER11.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{sdc, + author = {Andrew Canis and + Stephen Dean Brown and + Jason Helge Anderson}, + title = {Modulo {SDC} scheduling with recurrence minimization in high-level + synthesis}, + booktitle = {24th International Conference on Field Programmable Logic and Applications, + {FPL} 2014, Munich, Germany, 2-4 September, 2014}, + pages = {1--8}, + publisher = {{IEEE}}, + year = {2014}, + url = {https://doi.org/10.1109/FPL.2014.6927490}, + doi = {10.1109/FPL.2014.6927490}, + timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, + biburl = {https://dblp.org/rec/conf/fpl/CanisBA14.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{verismith, + author = {Yann Herklotz and + John Wickerson}, + editor = {Stephen Neuendorffer and + Lesley Shannon}, + title = {Finding and Understanding Bugs in {FPGA} Synthesis Tools}, + booktitle = {{FPGA} '20: The 2020 {ACM/SIGDA} International Symposium on Field-Programmable + Gate Arrays, Seaside, CA, USA, February 23-25, 2020}, + pages = {277--287}, + publisher = {{ACM}}, + year = {2020}, + url = {https://doi.org/10.1145/3373087.3375310}, + doi = {10.1145/3373087.3375310}, + timestamp = {Sun, 25 Oct 2020 23:15:07 +0100}, + biburl = {https://dblp.org/rec/conf/fpga/HerklotzW20.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{perna+12, + author = "Juan Perna and Jim Woodcock", + title = {Mechanised Wire-Wise Verification of {Handel-C} Synthesis}, + journal = "Science of Computer Programming", + volume = 77, + number = 4, + pages = "424 - 443", + year = 2012, + doi = "10.1016/j.scico.2010.02.007", + issn = "0167-6423", +} + +@article{coussy+09, + author = {Philippe Coussy and + Daniel D. Gajski and + Michael Meredith and + Andr{\'{e}}s Takach}, + title = {An Introduction to High-Level Synthesis}, + journal = {{IEEE} Des. Test Comput.}, + volume = {26}, + number = {4}, + pages = {8--17}, + year = {2009}, + url = {https://doi.org/10.1109/MDT.2009.69}, + doi = {10.1109/MDT.2009.69}, + timestamp = {Sun, 17 May 2020 11:44:25 +0200}, + biburl = {https://dblp.org/rec/journals/dt/CoussyGMT09.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} }
\ No newline at end of file |