BTOR2MLIR: A Format and Toolchain for Hardware Verification. - Joseph Tafese; Isabel Garcia-Contreras; Arie Gurfinkel (FMCAD, 2023)

Efficient Simulation for Hardware Model Checking. - Joseph Tafese; Arie Gurfinkel (LPAR, 2024)