In our evaluation, Btor2-Cert successfully utilized software witnesses to improve quality as- surance of hardware. By invoking the software verifier Cbmc on translated programs, it uniquely solved, with confirmed witnesses, 8 % of the unsafe tasks for which the hardware verifier ABC failed to ...