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.
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",
    organization = "IEEE"
}
Powered by bibtexbrowser