diff options
Diffstat (limited to 'static/docs/fpga2020')
-rw-r--r-- | static/docs/fpga2020/verismith_bib.txt | 12 | ||||
-rw-r--r-- | static/docs/fpga2020/verismith_paper.pdf | bin | 0 -> 844315 bytes | |||
-rw-r--r-- | static/docs/fpga2020/verismith_slides.pdf | bin | 0 -> 298196 bytes | |||
-rw-r--r-- | static/docs/fpga2020/verismith_thesis.pdf | bin | 0 -> 720014 bytes |
4 files changed, 12 insertions, 0 deletions
diff --git a/static/docs/fpga2020/verismith_bib.txt b/static/docs/fpga2020/verismith_bib.txt new file mode 100644 index 0000000..104c1cd --- /dev/null +++ b/static/docs/fpga2020/verismith_bib.txt @@ -0,0 +1,12 @@ +@inproceedings{herklotz20_findin_under_bugs_fpga_synth_tools, + author = {Herklotz, Yann and Wickerson, John}, + title = {Finding and Understanding Bugs in FPGA Synthesis Tools}, + booktitle = {ACM/SIGDA International Symposium on Field-Programmable Gate + Arrays}, + doi = {10.1145/3373087.3375310}, + year = 2020, + location = {Seaside, CA, USA}, + numpages = 11, + publisher = {ACM}, + series = {FPGA '20}, +} diff --git a/static/docs/fpga2020/verismith_paper.pdf b/static/docs/fpga2020/verismith_paper.pdf Binary files differnew file mode 100644 index 0000000..cfa400b --- /dev/null +++ b/static/docs/fpga2020/verismith_paper.pdf diff --git a/static/docs/fpga2020/verismith_slides.pdf b/static/docs/fpga2020/verismith_slides.pdf Binary files differnew file mode 100644 index 0000000..ebcf96e --- /dev/null +++ b/static/docs/fpga2020/verismith_slides.pdf diff --git a/static/docs/fpga2020/verismith_thesis.pdf b/static/docs/fpga2020/verismith_thesis.pdf Binary files differnew file mode 100644 index 0000000..80fde2c --- /dev/null +++ b/static/docs/fpga2020/verismith_thesis.pdf |