TY  - RPRT
TI  - Btor2MLIR: A Format and Toolchain for Hardware Verification
AU  - Joseph Tafese
AU  - Isabel Garcia-Contreras
AU  - Arie Gurfinkel
PY  - 2023
DO  - 10.34727/2023/isbn.978-3-85448-060-0_13
UR  - https://arxiv.org/abs/2309.09100
ID  - 2309.09100
ER  -