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