~ymherklotz/fpga20_fubfst

568a4c43f8d87139fba65181e04444eb5a68836e — Yann Herklotz 5 months ago f9ca386 master
Add a README
1 files changed, 22 insertions(+), 0 deletions(-)

A README.md
A README.md => README.md +22 -0
@@ 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}
}
```