Runtime-Programmable Pipelines for Model Checkers on FPGAs (bibtex)
by Mrunal Patel, Shenghsun Cho, Michael Ferdman, Peter Milder
Reference:
Runtime-Programmable Pipelines for Model Checkers on FPGAs Mrunal Patel, Shenghsun Cho, Michael Ferdman, Peter Milder, In 29th International Conference on Field Programmable Logic and Applications (FPL), 2019. (nominated for the Best Papers award)
Bibtex Entry:
@INPROCEEDINGS{ferdman-fpl-runtime-programmable-pipelines-for-model-checkers-on-fpgas,
    author       = "Mrunal Patel and Shenghsun Cho and Michael Ferdman and Peter Milder",
    title        = "Runtime-Programmable Pipelines for Model Checkers on FPGAs",
    booktitle    = "29th International Conference on Field Programmable Logic and Applications (FPL)",
    year         = "2019",
    note         = "nominated for the Best Papers award",
    organization = "IEEE"
}
Powered by bibtexbrowser