Inproceedings,
Runtime-Programmable Pipelines for Model Checkers on FPGAs.
M. Patel, S. Cho, M. Ferdman, and P. Milder.FPL, page 51-58. IEEE, (2019)
Meta data
- BibTeX key
- conf/fpl/PatelCFM19
- entry type
- inproceedings
- booktitle
- FPL
- year
- 2019
- pages
- 51-58
- publisher
- IEEE
- crossref
- conf/fpl/2019
- ee
- https://doi.org/10.1109/FPL.2019.00018
- isbn
- 978-1-7281-4884-7
- url
- http://dblp.uni-trier.de/db/conf/fpl/fpl2019.html#PatelCFM19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fpl/PatelCFM19
%A Patel, Mrunal
%A Cho, Shenghsun
%A Ferdman, Michael
%A Milder, Peter A.
%B FPL
%D 2019
%E Sourdis, Ioannis
%E Bouganis, Christos-Savvas
%E Álvarez, Carlos
%E Díaz, Leonel Antonio Toledo
%E Valero-Lara, Pedro
%E Martorell, Xavier
%I IEEE
%K dblp
%P 51-58
%T Runtime-Programmable Pipelines for Model Checkers on FPGAs.
%U http://dblp.uni-trier.de/db/conf/fpl/fpl2019.html#PatelCFM19
%@ 978-1-7281-4884-7
@inproceedings{conf/fpl/PatelCFM19,
added-at = {2020-09-05T00:00:00.000+0200},
author = {Patel, Mrunal and Cho, Shenghsun and Ferdman, Michael and Milder, Peter A.},
biburl = {https://www.bibsonomy.org/bibtex/2d5fd0414e01167623332716df8cd511e/dblp},
booktitle = {FPL},
crossref = {conf/fpl/2019},
editor = {Sourdis, Ioannis and Bouganis, Christos-Savvas and Álvarez, Carlos and Díaz, Leonel Antonio Toledo and Valero-Lara, Pedro and Martorell, Xavier},
ee = {https://doi.org/10.1109/FPL.2019.00018},
interhash = {2f19706fdc240609ba244e9888334dd0},
intrahash = {d5fd0414e01167623332716df8cd511e},
isbn = {978-1-7281-4884-7},
keywords = {dblp},
pages = {51-58},
publisher = {IEEE},
timestamp = {2020-09-09T14:09:57.000+0200},
title = {Runtime-Programmable Pipelines for Model Checkers on FPGAs.},
url = {http://dblp.uni-trier.de/db/conf/fpl/fpl2019.html#PatelCFM19},
year = 2019
}