Login / Signup
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