~ymherklotz/fpga20_fubfst

FPGA'20 Fuzzing Paper.
Add initial files

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~ymherklotz/fpga20_fubfst
read/write
git@git.sr.ht:~ymherklotz/fpga20_fubfst

You can also use your local clone with git send-email.

#FPGA'20

This repository contains the source for our FPGA'20 paper.

@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}
}