Boost Verification Results by Bridging the Hw/Sw Testbench Gap