Btor2MLIR: A Format and Toolchain for Hardware Verification.

Joseph Tafese Isabel Garcia-Contreras Arie Gurfinkel

Published in: CoRR (2023)

Keyphrases

multilingual information retrieval
hardware designs
low cost
hardware and software
model checking
real time
computer systems
metadata
multimedia
hardware implementation
feature extraction