Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.

Dirk Beyer Po-Chun Chien Nian-Ze Lee

Published in: TACAS (2) (2023)

Keyphrases

hardware and software
low cost
computer systems
word level
data analysis
document analysis
hardware software
image processing
document images
machine translation