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

Simon Schwan, Paula Herber

Browse the full WETICE paper archive.