@inproceedings{fournier:hal-03550389,
  TITLE = {{Carnac: Algorithm Variability for Fast Swarm Verification on FPGA}},
  AUTHOR = {Fournier, Emilien and Teodorov, Ciprian and Lagadec, Lo{\"i}c},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03550389},
  BOOKTITLE = {{2021 31st International Conference on Field-Programmable Logic and Applications (FPL)}},
  ADDRESS = {Dresden, Germany},
  PUBLISHER = {{IEEE}},
  SERIES = {2021 31st International Conference on Field-Programmable Logic and Applications (FPL)},
  PAGES = {185-189},
  YEAR = {2021},
  MONTH = Aug,
  DOI = {10.1109/FPL53798.2021.00038},
  KEYWORDS = {field programmable gate arrays ; logic design ; optimisation ; program verification ; field programmable gate arrays},
  HAL_ID = {hal-03550389},
  HAL_VERSION = {v1},
}