Learning From Advanced Hardware Verification for Hardware Dependent Software