BTOR2MLIR: A Format and Toolchain for Hardware Verification.

Joseph Tafese Isabel Garcia-Contreras Arie Gurfinkel

Published in: FMCAD (2023)

Keyphrases

multilingual information retrieval
hardware designs
low cost
hardware and software
multimedia
real time
metadata
model checking
hardware implementation
machine learning
information retrieval
image features
computer systems