Joseph Tafese

According to our database, Joseph Tafese authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient Simulation for Hardware Model Checking.

Joseph Tafese, Arie Gurfinkel

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

BTOR2MLIR: A Format and Toolchain for Hardware Verification.

Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel

Proceedings of the Formal Methods in Computer-Aided Design, 2023