FPGASwarm: High Throughput Model Checking Using FPGAs

Cho, Shenghsun; Ferdman, Michael; Milder, Peter

by Shenghsun Cho, Michael Ferdman, Peter Milder

Reference:

FPGASwarm: High Throughput Model Checking Using FPGAs Shenghsun Cho, Michael Ferdman, Peter Milder, In 28th International Conference on Field Programmable Logic and Applications (FPL), 2018.

Bibtex Entry:

@inproceedings{ferdman-fpl-fpgaswarm-high-throughput-model-checking-using-fpgas,
  title={FPGASwarm: High Throughput Model Checking Using FPGAs},
  author={Shenghsun Cho and Michael Ferdman and Peter Milder},
  booktitle={28th International Conference on Field Programmable Logic and Applications ({FPL})},
  year={2018},
  organization={IEEE},
  pdf={http://compas.cs.stonybrook.edu/%7Emferdman/downloads.php/FPL18_FPGASwarm_High_Throughput_Model_Checking_on_FPGAs.pdf}
}