Search dblp for Publications

export results for "Btor2MLIR: A Format and Toolchain for Hardware Verification."

 download as .bib file

@inproceedings{DBLP:conf/fmcad/TafeseGG23,
  author       = {Joseph Tafese and
                  Isabel Garcia{-}Contreras and
                  Arie Gurfinkel},
  editor       = {Alexander Nadel and
                  Kristin Yvonne Rozier},
  title        = {{BTOR2MLIR:} {A} Format and Toolchain for Hardware Verification},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
                  October 24-27, 2023},
  pages        = {55--63},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_13},
  doi          = {10.34727/2023/ISBN.978-3-85448-060-0\_13},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/TafeseGG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-09100,
  author       = {Joseph Tafese and
                  Isabel Garcia{-}Contreras and
                  Arie Gurfinkel},
  title        = {Btor2MLIR: {A} Format and Toolchain for Hardware Verification},
  journal      = {CoRR},
  volume       = {abs/2309.09100},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.09100},
  doi          = {10.48550/ARXIV.2309.09100},
  eprinttype    = {arXiv},
  eprint       = {2309.09100},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-09100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}