@misc{indiciae16248ecb1376,
  title = {Btor2MLIR: A Format and Toolchain for Hardware Verification},
  author = {Joseph Tafese and Isabel Garcia-Contreras and Arie Gurfinkel},
  year = {2023},
  doi = {10.34727/2023/isbn.978-3-85448-060-0\_13},
  url = {https://arxiv.org/abs/2309.09100},
  note = {Source identifier: 2309.09100}
}