US8032848B2 - Performing Abstraction-Refinement Using a Lower-Bound-Distance to Verify the Functionality of a Circuit Design