Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers.

Zsófia Ádám Dirk Beyer Po-Chun Chien Nian-Ze Lee Nils Sirrenberg

Published in: TACAS (3) (2024)

Keyphrases

computer systems
main contribution
hardware designs
hardware and software
embedded systems
analysis tool
software systems
lightweight
software architecture
real time
open source
neural network
conceptual framework
data flow
software design
simulation environment
hardware design
high end
core components
data sets