1 files changed, 22 insertions(+), 0 deletions(-)

A README.md

@@ 0,0 1,22 @@
+# FPGA'20
+
+This repository contains the source for our [FPGA'20
+paper](https://dl.acm.org/doi/abs/10.1145/3373087.3375310).
+
+``` bibtex
+@inproceedings{10.1145/3373087.3375310,
+  author = {Herklotz, Yann and Wickerson, John},
+  title = {Finding and Understanding Bugs in FPGA Synthesis Tools},
+  year = {2020},
+  isbn = {9781450370998},
+  publisher = {Association for Computing Machinery},
+  address = {New York, NY, USA},
+  doi = {10.1145/3373087.3375310},
+  booktitle = {Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays},
+  pages = {277–287},
+  numpages = {11},
+  keywords = {fuzzing, verilog, test case reduction, logic synthesis},
+  location = {Seaside, CA, USA},
+  series = {FPGA '20}
+}
+```