diff options
Diffstat (limited to 'static/docs/fpga2020/verismith_bib.txt')
-rw-r--r-- | static/docs/fpga2020/verismith_bib.txt | 12 |
1 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}, +} |