Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver.

Simon Schwan Paula Herber

Published in: WETICE (2020)

Keyphrases

hardware software
hardware and software
embedded systems
quantified boolean formulas
model checking
hardware design
hw sw
genetic programming
real time
neural network
case study
computer systems
design methodology