Practical Model Checking on FPGAs

Cho, Shenghsun; Patel, Mrunal; Ferdman, Michael; Milder, Peter

by Shenghsun Cho, Mrunal Patel, Michael Ferdman, Peter Milder

Reference:

Practical Model Checking on FPGAs Shenghsun Cho, Mrunal Patel, Michael Ferdman, Peter Milder, In ACM Transactions on Reconfigurable Technology and Systems (TRETS), Association for Computing Machinery, volume 14, 2021.

Bibtex Entry:

@article{ferdman-trets-practical-model-checking-on-fpgas,
  author = {Cho, Shenghsun and Patel, Mrunal and Ferdman, Michael and Milder, Peter},
  title = {Practical Model Checking on FPGAs},
  year = {2021},
  issue_date = {July 2021},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {14},
  number = {2},
  issn = {1936-7406},
%  doi = {10.1145/3448272},
  pdf={http://compas.cs.stonybrook.edu/%7Emferdman/downloads.php/TRETS20_Practical_Model_Checking_on_FPGAs.pdf},
  journal = {ACM Transactions on Reconfigurable Technology and Systems (TRETS)},
  month = jul,
  articleno = {8},
  numpages = {18},
  keywords = {Accelerators, overlay architecture}
}